func main()
	var n: int :: cui@inputInt()
	
	var ans: int :: 0
	for i(0, n)
		do ans :+ n - i + 1
	end for
	do cui@print("\{ans}\n")
end func