#include<bits/stdc++.h>
using namespace std;
int n, res;
int main()
{	cin >> n;
	for ( int i = 1; i <= n; i ++)
		res += i;
	cout << res ;
	return 0;
}