#include <stdio.h>

int main(void){
	int val = 0;
	scanf("%d",&val);
	int ans = 0;
	while(val != 0){
		ans += val;
		val--;
	}
	printf("%d",ans);
}