#include <stdio.h>

int main() {
   int  n=0;
   long int sum=0;
   scanf("%d",&n);
   while(n!=0)
   {
        sum+=n;
        n--;
   }
   printf("%ld",sum);
   return 0;
}