#include <stdio.h>

int main(){
	int d;
	scanf("%d", &d);
	
	printf("%d\n", d*(d+1)/2);
	return 0;
}