#include <iostream>

using namespace std;

long long a[10001];

int main(){
    a[1] = 2;
    for(int i = 2; i <= 10000; i++){
        a[i] = a[i-1] + i;
    }
    int n;
    while(cin >> n){
        cout << a[n] << endl;
    }
}