#include<stdio.h>

int main(){
 long n;
 scanf("%ld",&n);
 printf("%ld\n",n*(n+1)/2);
 return 0;
}