请问为什么这个题在“b奶牛的高度一定大于等于a奶牛的高度”的条件下任能保证差分数组的正确性？

感觉这个差分只是保证了 a 和 b 中间的小于了，并不能保证 a 和 b 的关系。