#include <stdio.h>

int main(void)
{
        unsigned int in, out = 0;
        int i;

        scanf("%d",&in);
        for(i = 1; i <= in; i++)
                out += i;
        printf("%d\n",out);

        return 0;
}