#include <bits/stdc++.h>
#define endl '\n'
typedef long long ll;
using namespace std;

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

	int n;
	cin >> n;

	int ans = n * (n + 1) / 2;
	cout << ans << endl;

	return 0;
}