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

int main() {
  int n, count = 1;
  while(cin >> n){
  for(int i = 0; i < n; i++){
    count += i + 1;
  }
  cout << count << endl;
    count = 1;
  }
     
}
