local n = io.read("*n")
local sum = 0
for i = 0, n do
  local rem = n - i
  sum = sum + (rem + 1)
end
print(sum)