n,k=gets.split.map &:to_i
p 1+k*n-k*(k-1)/2