#include <stdio.h>
int main() {
	int N,count=0,i;
	scanf("%d",&N);
	for(i=1; i<N+1; i++){
		count += i;
	}
	printf("%d",count);
	return 0;
}