#include<stdio.h>

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