open System [] let main argv = let input = stdin.ReadLine() let n = Int32.Parse input let sum = List.sum [1 .. n] Console.WriteLine sum 0