read n; echo $n '*(' $n '+1)/2' | bc