#include <bits/stdc++.h>
using namespace std;
int main(){
    int k;
    cin >> k;
    cout << ((k+1)*k)/2+(k+1) << endl;
}