“…We finally prove that g is a fixed point for ξ. e triangle inequality implies that ℘(g, ξg) ≤ ](g, ξg) ℘ g, g n+1 + ℘ g n+1 , ξg � ](g, ξg)℘ g, g n+1 + ](g, ξg)℘ g n+1 , ξg . (16) Note that the first term of the inequality, ](g, ξg)℘(g, g n+1 ), converges to 0, since g n converges to 0. Also, the second term will be ](g, ξg)℘ g n+1 , ξg ≤ ](g, ξg)℘ ξg n , ξg α g n , g ≤ ](g, ξg)ψ ℘ g n , g ≤ ](g, ξg)℘ g n , g , (17) which converges to 0. erefore, ℘(g, ξg) ≤ 0, and hence g is a fixed point for ξ.…”