#include <iostream>
using namespace std;
int main(void) {
  int n;
  int dev;

  while(cin >> n) {
    dev = 1;
    for(int i = 0 ; i < n ; i++) {
      dev += i + 1;
    }
    cout << dev << endl;
  }
  return 0;
}