#include <stdio.h>
#include <iostream>
#include <vector>
using namespace std;

int main(void) {
	int n=0;
	vector<int> r;
	while (scanf("%d",&n) != EOF)
	{
		r.push_back((1+n)*n/2+1);
	}
	for (int i; i<r.size(); i++)
	{
		cout << r[i] << endl;
	}
	return 0;
}