تابعی داریم به صورت روبرو $f(x)=x-⌊\log_{2}(x)⌋-1$ و دامنه آن را محدود می کنیم از 0 تا $\frac{1}{\ln(2)}$. بر اساس شرایط ذکر شده ثابت کنید:
$ \frac{2^{x+1}+\ln(2)}{4^{x+1}}<f^{-1}(x)<\frac{2^{x}+\ln(2)}{4^{x}} $
فرض کنید $f^{-1}(x)$ حتما جوابی حقیقی دارد.
