defmodule Main do def main do n = IO.gets("") |> String.trim |> String.to_integer Enum.sum(0..n) |> IO.puts end end