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