#include <stdio.h>
int main()
{
	int N;
	scanf("%d",&N);
	printf("%d\n",N*(N+1)/2);
	return 0;
}