let n = stdin.ReadLine() |> int

[1..n]
|> List.sum
|> printfn "%d"