Scanf.scanf "%d" (fun n ->
    Printf.printf "%d\n" @@ n * (n + 1) / 2
)