#include<iostream>
using namespace std;
typedef long long ll;
int main(){
  ll n;
  while(cin>>n&&n>=0){
    cout<<n*(n+1)/2+1<<endl;
  }
  return 0;
}