#include <iostream>
#include <vector>

using namespace std;

typedef long long ll;
//int main(){
//    vector<ll> vec(10001);
//    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;
 }