defmodule Main do def main do IO.gets("") |> String.trim() |> String.to_integer() |> (fn n -> (n * (n + 1) / 2) |> trunc end).() |> IO.puts() end end