#include <stdio.h>

int main(void){

	int n,a=0,i;

	scanf("%d",&n);

	for(i=1;i<=n;i++){;
		a=a+i;
	}
	printf("%d\n",a);

	return 0;
}