#include<stdio.h>
int main()
{
	long long  n = 0;
	scanf("%lld", &n); 
	long long  ret = 0; 
	long long i = 1; 
	while (i <= n)
	{
		ret += i; 
		i++; 
	}
	printf("%lld", ret); 
	return 0;  
}