#include<iostream>
using namespace std;

void solve(int ans[10001]){
    for(int i=2; i<10001; i++){
        ans[i]=ans[i-1]+i;
    }
}

int main()
{
    int n,ans[10001];
    ans[1]=2;
    solve(ans);
    while(cin>>n,!cin.eof()){
        cout<<ans[n]<<endl;
    }
    return 0;
}