#include <iostream>
using namespace std;

int main() {
	int score;
	scanf("%d",&score);
	{
	printf("%d",(1 + score ) * score / 2);
	}
	return 0;
}