open System

let N = Console.ReadLine() |> int
[1..N]
|> List.sum
|> Console.WriteLine