“…as → ∞ and for all ( , ) ∈ * , where ℎ 0 2 ( , ) = 1∕2 2 + 2 2 2 2 + ′′ ( ; , ) 3 6 , 0 2 ( , ) = 3 + 2 2 4 2 9 1∕2 + ′′ ( ; , ) 4 3 27 , ℎ 2 ( , ) = (Δ 2 ), 2 ( , ) = (Δ) as Δ = √ 2 + 2 → 0, and 2 2 = − ′′ ( ; , ) > 0. We see that the function 2 ( , , ) is suitable for the basis of a Lyapunov function candidate.…”