#include <stdio.h>

int main(void){
	int N,i,s;
	s = 0;
	scanf("%d", &N);
	for (i = 1; i <= N; i++) {
		s += i;
	}
	printf("%d\n", s);
	return 0;
}