defmodule Main do
  def main do
  	alias String ,as: S
    alias Enum ,as: E

    n = S.to_integer(S.trim(IO.gets("")))
    IO.puts(E.reduce(1..n,&(&1 + &2)))
  end
end