puts (((x=gets.to_i)+1)*x)>>1