#include<stdio.h>
int main(void)
{
    int sum,N,i=1;
    scanf("%d",&N);
    sum=N;
    while(i<=N)
    {
        sum=sum+i;
        i++;
    }
    printf("%d",sum);
    return 0;
}