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

int main(){
  int num = 0;
  int dp = 2;
  int x;
  
  while(cin >> x){
    dp = 2;
    
    for(int i = 1; i<x ; ++i){
      dp += (i + 1);
    }

    cout << dp << endl;
  }
  return 0;
}

