a, b = gets.split.map &:to_i
puts (a * 2 - b + 1) * b / 2 + 1