main := proc() {
    n := read_int(0)
    print(triangle(n))
    exit(0)
}

triangle := proc(n) {
    if n == 0 { return 0 }
    return triangle(n - 1) + n
}