#include <iostream>
#define rep(i,n) for (int i = 0; i < n; i++)
using namespace std;

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