#include <iostream>
#include <vector>

using namespace std;

typedef long long ll;

// int main(){
//     vector<ll> vec(10001);
//     vec[0] = 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;
}