#include<stdio.h>
int main()
{
    unsigned char A;
    unsigned char i;
    unsigned short sTotal=0;

    scanf("%d",&A);

    for(i=0;i<=A;i++)
    {
         sTotal+=i;
    }
    printf("%d\n",sTotal);

    return 0;

}