#include<stdio.h>

int main()
{
    long long int i =0,sum=0;
    scanf("%lld",&i);
    while(i--)
    {
        sum+=i+1;
    }
    printf("%lld\n",sum);
    return 0;
}