open System

[<EntryPoint>]
let main argv =
    let input = stdin.ReadLine()
    let n = Int32.Parse input
    let sum = List.sum [1 .. n]
    printfn "%d" sum
    0