Cozumde hatalar var:
(1) Eger f(x) = -\ln(1+\tfrac1x) ise o halde
f(x) = \ln(1+\tfrac1x)^{-1} = \ln\left(\dfrac{x}{x+1}\right) = \ln(x) - \ln(x+1)
ve dolayisiyla
f''(x) = \dfrac1{(x+1)^2} - \dfrac1{x^2}
olur. Bu cok buyuk bir sorun degil cunku fonksiyon yine de icbukey.
(2) Jensen esitsizligini uygularken de bir hata var. Esitsizlikte agirliklarin toplami fonksiyonun argumanina bolunuyor. O yuzden soyle gorunmeli:
-\ln(1+\tfrac1x)-\ln(1+\tfrac1y)-\ln(1+\tfrac1z) \leq -3 \ln\left(1+ \dfrac{\tfrac1x+\tfrac1y+\tfrac1z}{3}\right)
ya da
\ln(1+\tfrac1x)+\ln(1+\tfrac1y)+\ln(1+\tfrac1z) \geq 3 \ln\left(1+ \dfrac{\tfrac1x+\tfrac1y+\tfrac1z}{3}\right)
Simdi harmonik ortalama, aritmetik ortalamadan daha kucuk oldugu icin
\dfrac{3}{\tfrac1x+\tfrac1y+\tfrac1z} \leq \dfrac{x+y+z}3 = \dfrac13 \implies \dfrac1x+\dfrac1y+\dfrac1z \geq 9
olur. Nihayet logaritmanin hep artan oldugunu kaale alarak
\ln(1+\tfrac1x)+\ln(1+\tfrac1y)+\ln(1+\tfrac1z) \geq 3\ln(4)
oldugunu ve dolayisiyla sorudaki iddiayi gosteririz.