let () =
  let rec doit acc n =
    if n = 0 then acc
    else doit (acc + n) (n - 1) in
  read_int () |> doit 0 |> Printf.printf "%d\n"