\varphi(\infty)=0