#include <iostream>
#define rep(i, n) for(int i=0; i<(int)(n); i++)
using namespace std;

int main()
{
	cin.tie(0);
	ios::sync_with_stdio(false);

	int in;
	int ans = 0;
	cin >> in;
	rep(i, in+1) {
		ans=ans+i;
	}
	cout << ans;

	return 0;
}