#include <iostream>
#include <vector>

using namespace std;

typedef long long ll;
int main(){
    vector<ll> vec;
    vec.push_back(1);
    for(int i=1;i<=10000;i++){
        vec[i] = vec[i-1] + i;
    }
    int n;
    while(cin >> n){
        cout << vec[n] << endl;
    }
    return 0;
}

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