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

void main() {
  foreach (string line; stdin.lines) {
    int ans = 1;
    int n = line.chomp.to!int;

    for (int i = 1; i <= n; i++) {
      ans += i;
    }

    ans.writeln;
  }
}