let n = stdin.ReadLine() |> int
List.sum [1 .. n] |> printfn "%d"