module Main
open System

let n = Console.ReadLine().Split(' ').[0] |> int

[1..n]
    |> List.sum
    |> Console.WriteLine