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