#include <stdio.h>

int main(void) {
	
	int a, i, ans;

	ans = 0;

	scanf("%d", &a);

	for (i = 0; 0 <= a; a--) {
		ans += a;
	}
	printf("%d\n", ans);

	return 0;
}