import std.stdio;
import std.string, std.conv, std.array, std.algorithm;
import std.uni, std.math, std.container;
import core.bitop, std.datetime;

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