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