#include <stdio.h>

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