Para $a,b,c \in \Big[\dfrac{1}{3},3\Big].$ Prueba $:$
$$(a+b+c) \Big(\dfrac{1}{a}+\dfrac{1}{b}+\dfrac{1}{c}\Big) \leqslant 25.$$
Supongamos que $a\equiv \text{mid}\{a,b,c\},$ tenemos $:$
$$25-(a+b+c) \Big(\dfrac{1}{a}+\dfrac{1}{b}+\dfrac{1}{c}\Big) =\dfrac{2}{bc} (10bc-b^2-c^2) +\dfrac{c+b}{abc} (a-b)(c-a)\geqslant 0.$$
Deseo encontrar una prueba con $a:\neq {\rm mid}\left \{ a, b, c \right \},$ u otra prueba $?$
En realidad $,$ También encontré una prueba verdadera para todos $a,b,c \in \Big[\dfrac{1}{3},3\Big],$ pero muy feo.
Después de despejar los denominadores $,$ necesidad de demostrar $:$
$$f:=22abc-a^2c-a^2b-b^2c-ab^2-bc^2-ac^2\geqslant 0$$
pero tenemos $:$
$$f=\dfrac{1}{32} \left( 3-a \right) \left( 3-b \right) \Big( c-\dfrac{1}{3} \Big) + \left( 3-a \right) \left( a-\dfrac{1}{3} \right) \left( b-\dfrac{1}{3} \right) +\\+{ \frac {703}{32}}\, \left( a-\dfrac{1}{3} \right) \left( b-\dfrac{1}{3} \right) \left( c-\dfrac{1}{3} \right) +{\frac {9}{32}} \left( 3-a \right) \left( 3-c \right) \left( a-\dfrac{1}{3} \right) +\dfrac{1}{4} \left( 3-b \right) \left( 3-c \right) \left( c-\dfrac{1}{3} \right) +\dfrac{5}{4} \left( 3-c \right) \left( c-\dfrac{1}{3} \right) \left( a-\dfrac{1}{3} \right) +{\frac {49}{32}} \left( 3-c \right) \left( b-\dfrac{1}{3} \right) \left( c-\dfrac{1}{3} \right) + \left( 3-b \right) \left( b-\dfrac{1}{3} \right) \left( c-\dfrac{1}{3} \right) +\\+{\frac {21}{16}}\, \left( 3-b \right) \left( a-\dfrac{1}{3} \right) \left( b-\dfrac{1}{3} \right) \\+\dfrac{5}{4}\, \left( 3-a \right) \left( c-\dfrac{1}{3} \right) \left( a-\dfrac{1}{3} \right) +\dfrac{1}{32} \, \left( 3-a \right) ^{2} \left( 3-c \right) +\dfrac{1}{4}\, \left( 3-b \right) \left( b-\dfrac{1}{3} \right) ^{2}+\dfrac{1}{32} \left( 3-b \right) ^{2} \left( a-\dfrac{1}{3} \right) +{\frac {9}{32}} \left( a-\dfrac{1}{3} \right) \left( b-\dfrac{1}{3} \right) ^{2}+\dfrac{1}{4} \left( a-\dfrac{1}{3} \right) \left( c-\dfrac{1}{3} \right) ^{ 2}+\dfrac{1}{4} \left( b-\dfrac{1}{3} \right) \left( 3-b \right) ^{2}+{\frac {9}{32}} \, \left( b-\dfrac{1}{3} \right) \left( c-\dfrac{1}{3} \right) ^{2}$$
Así que hemos terminado.
Si quieres comprobar mi descomposición $,$ ver el texto aquí .