#include <bits/stdc++.h>

using namespace std;
typedef long long ll;

#define rep(i, n) for (int i = 0; i < (int)(n); i++)
#define rep2(i, s, n) for (int i = (s); i < (int)(n); i++)
#define DEBUG

int main()
{
    int n;
    cin >> n;
    cout << (n+1)*n/2 << endl;
    return 0;
}