Cho hàm số \(f:Z^+\rightarrow R^+\) thỏa mãn các điều kiện
\(1.f_{\left(x\right)}=0\leftrightarrow x=0\)
\(2.f_{\left(xy\right)}=f_{\left(x\right)}f_{\left(y\right)}\left(\forall x,y\in Z^+\right)\)
\(3.f_{\left(x+y\right)}=f_{\left(x\right)}+f_{\left(y\right)}\left(\forall x,y\in Z^+\right)\)
Gọi \(n_o\) là số nguyên dương bé nhất trong các số nguyên dương m thõa mãn điều kiện \(f_{\left(m\right)}>1\). Chứng minh rằng với mọi số nguyên dương n ta đều có bất đẳng thức sau :
\(f_{\left(n\right)}< \dfrac{\left(f_{\left(n_o\right)}\right)^{1+\left[log_{n_o}n\right]}}{f_{\left(n_o\right)}-1}\)
\(\left[a\right]\) là phần nguyên của số thực \(a\)