let n = stdin.ReadLine () |> int
seq { 1..n } |> Seq.sum |> printfn "%d"