#include <stdio.h>

int main(void)
{
	int n, total = 0;

	scanf("%d", &n);

	while (n) {
		total += n;
		n--;
	}
	printf("%d", total);

	return 0;
}