#include<iostream>
using namespace std;
int main(){
  int n,ans,t;
  while(cin>>n){
    ans = 1;
    t = 1; 
    for(int i=1;i<=n;i++){
      ans += t;
      t++;
    }
    cout << ans << endl;
  }
  return 0;
}