#include <stdio.h>

int main(void) {
  int N;
  scanf("%d", &N);
  printf("%d", (N+1)*N/2);
  return 0;
}