#include <bits/stdc++.h>

using namespace std;
using ll = long long;

int main() {
	int N;
	cin >> N;
	cout << (N + 1) * N / 2 << endl;

	return 0;
}