#include <iostream>
using namespace std;

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