#include <stdio.h>

int main()
{
        int N;
        scanf("%d\n", &N);

        printf("%d\n", ( N * ( N+1 )) / 2 );
        return 0;
}