defmodule Main do
  def main do
    input = IO.gets("")
      |> String.trim
      |> String.to_integer

    sum = Enum.reduce(0..input, &(&1 + &2))
    IO.puts sum
  end
end