// yukicoder: No.480 合計
// 2019.4.16 bal4u

#include <stdio.h>

int main()
{
	int N, s = 0;
	scanf("%d", &N);
	while (N >= 1) s += N--;
	printf("%d\n", s);
	return 0;
}