import std.stdio;
import std.conv;
import std.array;

void main() {
    uint n; readf("%s\n", &n);
    writeln((n+1)*(n+2)/2);
}