Estoy tratando de encontrar una función de aumento continuo$f$ en$[1,\infty)$ tal que
$1-\frac{f(x)}{f(2x)} = O(1/\log^c(x))$ para alguna constante$c>1$, y$\lim_{x\to \infty} f(x) = \infty$.
Tenga en cuenta si$c=1$,$f(x)=\log(x)$ funciona bien, cuando tan pronto como$c>1$, no se me ocurra ninguna función agradable que funcione. Parece que iterar el registro$k$ veces no es suficiente.