#include<bits/stdc++.h>
using namespace std;
int main(){
  int ans[20000]={};
  ans[1]=2;
  for(int i=2;i<=10000;i++){
    ans[i]=ans[i-1]+i;
  }
  int n;
  while(cin>>n)
    cout<<ans[n]<<endl;
  return 0;
}