#include <stdio.h>

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