#include <iostream>
using namespace std;

int main()
{
    int n;
    while (1) {
	cin >> n;
	if (cin.eof()) break;
        int ans = 1;
        for (int i = 1; i <= n; i++)
            ans += i;
        cout << ans << endl;
    }

    return 0;
}