#include <bits/stdc++.h>
using namespace std;

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

	int ans = N * (N + 1) / 2;

	cout << ans << endl;
}