#include<stdio.h>
int main(void){
    int a,b;
    scanf("%d\n",&a);
    while(a>=0)
    {
        b+=a;
        a=a-1;
    }
    printf("%d\n",b);
    return 0;
}