#include<stdio.h>

int main(){
  int i,max,sum=0;
  scanf("%d",&max);
  for(i=1;i<=max;i++) sum+=i;
  return 0;
}