N, K = gets.split.map(&:to_i)

puts K * (2 * N - K + 1) / 2 + 1