import std.stdio;
import std.algorithm;
import std.string;
import std.conv;
import std.math;

void main(){

    while(true){
	auto s = readln();
	if(stdin.eof()) break;
	int n = to!int(chomp(s));
	int ans = 1;
	for(int i=1;i<=n;i++)
	    ans += i; 
	writeln(ans);
    }

}