let () =
    let n = stdin.ReadLine() |> int

    seq {1..n} |> Seq.sum |> printfn "%d"