def calc(n, m)
    (m - n + 1) * (n + m) / 2
end
n, k = gets.split.map &:to_i
puts calc(n - k + 1, n) + 1