k→∞ dxnk−1, xmk−1 . 2.12 Setting x xmk−1 and y xnk−1 in 2.1 and using 2.7, we obtain ψ ≤ ψdxmk, xnk ≤ ψdxmk−1, xnk−1 − φdxmk−1, xnk−1. 2.13 Letting k→∞, utilising 2.10 and 2.12, we obtain ψ ≤ ψ − Φ, 2.14
k→∞d xn k −1, xm k −1 2.12ตั้งค่า −1 k x xm และ y xn k −1 ใน 2.1 และ 2.7 ใช้ เรารับΨ≤ψ d xm k, xn k ≤ψ −1 k d xm, xn k −1 −φ d xm k −1, xn k −1 2.13เราให้ k→∞ โดย 2.10 และ 2.12 ได้รับΨ≤Ψ−Φ 2.14
K →∞ D คริสเตียน K − 1 , − 1 , K . 2.12 x การ XM K − 1 Y คริสเตียน K − 1 ใน 2.1 และใช้ 2.7 เราขอรับ ψ ≤ψ D XM K , K ซิน ≤ψ D XM K − 1 , − 1 ซิน K −φ D XM K − 1 , − 1 ซิน K . 2.13 ให้ K →∞โดยใช้ 2.10 และ 2.12 เราขอรับ ψ ≤ψ −Φ 2.14 ,