#include <bits/stdc++.h>
using namespace std;
int main() {
	long n;
	cin >> n;
    __int128_t ans = __int128_t(n) * (n + 1) / 2;
    cout << (unsigned long)ans << endl;
}