#include<stdio.h>

int main(void){
  int i,a=0,sum=0;

  scanf("%d", &a);
  for(i=0;i<=a;i++){
    sum = sum + i;
  }
  printf("%d\n",sum);

  return 0;

}