\[\phi\leq F\left(\phi,k\right)\leq\min(\phi/\Delta,{\operatorname{gd}^{-1}}%
\left(\phi\right)),\]