read n
echo $(((n+1)*(n+2)/2))