#include<bits/stdc++.h>
using namespace std;
#define rep(i,a,b) for(int i=a;i<b;i++)




int N;
//-----------------------------------------------------------------
int main() {
	cin >> N;

	int ans = 0;
	rep(i, 1, N + 1) ans += i;
	cout << ans << endl;
}