let n = stdin.ReadLine() |> int

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