local n = tonumber(io.read())
local ret = 0
for i = 1, n do
	ret = ret + i
end
print(ret)