#include <iostream>
using namespace std;

int main() {
  int n;
  int dp[10001]={};
  dp[0]=1, dp[1]=2;
  for(int i=2; i<10001; i++) {
    dp[i]=dp[i-1]+i;
  }
  
  while(cin>>n) {
    cout<<dp[n]<<endl;
  }
  return 0;
}