#include <stdio.h>
int main(){
  int i,s=0;
  scanf("%d\n", &i);
  while(i!=0){
    s+=i;
    i--;
  }
  printf("%d\n",s);
}