#include <stdio.h>

int main()
{
	int n = 0;
	int ans = 0;
	scanf("%d", &n);

	for (int i = 0;i < n;i++)
	{
		ans += i + 1;
	}

	printf("%d", ans);
}