// #define _GLIBCXX_DEBUG
#include <bits/stdc++.h>
using namespace std;
#define rep(i, n) for (int i = 0; i < (int)(n); ++i)
int main() {
    // Input
    int N;
    cin >> N;

    // Output
    cout << N * (N + 1) / 2 << endl;
}