awk '$0=$1*($1+1)/2'