#include "stdio.h"

int main()
{
	int N;
	int Answer=0;
	scanf("%d",&N);

	for (int i = 0; i <= N; i++) {
		Answer = Answer + i;
	}

	printf("%d\n", Answer);

    return 0;
}