import std;

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