read n
echo $[n*++n/2]