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