#include<bits/stdc++.h>
using namespace std;
#define int long long
signed main()
{
	int n; cin >> n;
	int ans = 0;
	for(int i=1;i<n+1;i++) ans += i;
	cout << ans << endl;
}