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