Cross interval
Reverse an ordering 由adjacent swaps. Along th是finite 路径, if no weighted 和 lay 中target interval, a jump 从below 到above would have size strictly greater than n+1 n+1n+1, contradicting previous bound. The ordering 在crossing 是required 排列.