local x = io.stdin:read("*n")
local ans = 0
for i=1, x do
  ans = ans + i
end
print(ans)