Thú vị có thể làm trội lên nữa nhưng mình sẽ không nêu ra vì một vài lý do
$$ \frac{1}{a^2+2}+\frac{1}{c^2+2} \ge \frac{1}{(a+c)^2+2} +1/2 $$$$ \Leftrightarrow ac(8-4ac-2a^2c^2-a^3c-ac^3) \ge 0 \text{ (Luôn đúng)} $$@viet9a14124869: dồn về thế này đơn giản hơn chứ chia trường hợp kia có vẻ hơi "cực khổ"
Tui có nghĩ đến bổ đề này trước khi nghĩ đến bổ đề trên kia rồi , cơ mà quên mất $a+c\leq 1$ =)) .....