#include <iostream>

using namespace std;

int main(int argc, char **argv)
{
	int n, r;
	
	while(cin >> n){
		r = 1;
		for(int i = 1; i <= n; i++){
			r += i;
		}
		cout << r << endl;
	}
	
	return 0;
}