import std.stdio;

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