#include <stdio.h>
int main(void)
{

  int i,N,sum=0;

  scanf("%d",&N);
  while(N<1||N>100){
    scanf("%d",&N);
  }

  for(i=0;i<=N;i++){
    sum+=i;
  }

  printf("%d\n",sum);

return 0;
}