#include<stdio.h>
int main(void)
{

    int N,m=1;
    scanf("%d",&N);
    for(int i=0;i<N;i++)
        m+=i;
    printf("%d",m);
    return 0;
}