极限的保序性证明