#include <bits/stdc++.h>
using namespace std;
int main() {
    unsigned long long N;
    cin >> N;
    unsigned long long ans;
    for (unsigned long long i = 1; i <= N; i++) {
        ans += i;
    }
    cout << ans << '\n';
}