#include<bits/stdc++.h>
using namespace std;

int main(){
  int t[10005];
  
  t[0]=1;
  for(int i=1;i<=10000;i++){
    t[i]=t[i-1]+i;
  }
  int n;
  while(cin>>n){
    cout<<t[n]<<endl;
  }
  return 0;
}

