import std.stdio, std.string,std.range, std.conv, std.array, std.algorithm, std.math, std.typecons, std.container, std.datetime;

void main() {
  auto n = readln.chomp.to!int;
  writeln(n*(n+1)/2);
}
