ψdxn, xn1 ≤ ψdxn−1, xn − φ

ψdxn, xn1 ≤ ψdxn−1, xn − φdxn−1, xn, 2.2
which implies
dxn, xn1 ≤ dxn−1, xn using monotone property of ψ-function. 2.3

ผลลัพธ์ (ไทย) 1:

Ψ d xn, xn 1 ≤ψ d xn−1, xn −φ d xn−1, xn, 2.2ซึ่งหมายถึงd xn, xn 1 ≤ d xn−1, xn ใช้คุณสมบัติทางเดียวของψฟังก์ชัน 2.3

ผลลัพธ์ (ไทย) 2:

ψ? D? xn, xn 1 ?? ≤ψ? D? xn-1, xn ?? ? - φง xn-1, xn ??, 2.2?
ซึ่งหมายถึง
ง xn, xn 1? ≤ D? xn-1, xn? ? ใช้ทรัพย์สินเดียวของψฟังก์ชั่น ?. ? 2.3?

ผลลัพธ์ (ไทย) 3:

ψ  D  ซินซิน ,  1   ≤ψ  D  ซินซิน  − 1 , −  φ  D  คริสเตียน− 1 , คริสเตียน    2.2 , 

D ซึ่งหมายถึง  ซินซิน ,  1  ≤ D  คริสเตียน− 1 , คริสเตียน  โดยใช้คุณสมบัติ  โมโนโทน ของψ - ฟังก์ชัน  .  2.3