<s>[INST] Inequality problem, for positive $a,b,c$, if $abc=1$, then $\frac{1}{1+a+b^2}+\frac{1}{1+b+c^2}+\frac{1}{1+c+a^2}\leq1$ I need help or guidance in solving this inequality that I am battling for 3 days now. I have tried everything that comes to mind, but I am stuck. The inequality is as  $$\sum_\textrm{cyc}\frac{1}{1+a+b^2}\leq1,\ abc=1, \ a,b,c>0$$ This can be written as $$\frac{1}{1+a+b^2}+\frac{1}{1+b+c^2}+\frac{1}{1+c+a^2}\leq1$$
I have tried Jensen's on the function $\frac{1}{1+x}$, AM-GM on the denominator, Cauchy-Schwarz for each term but I keep getting stuck. 
 [/INST] The following technique can deal with many of the above type of inequalities. For example, Problem 3 of IMO 2005 can be solved using the same idea (but a little bit easier). People participating in math Olympiads should keep it in mind.
For any $k$, applying Cauchy-Schwarz inequality we have
$$(1+a+b^2)(c^{2k} + a^{2k-1} + b^{2k-2}) \ge (c^k+a^k+b^k)^2,$$
yielding $$\frac{1}{1+a+b^2} \le \frac{c^{2k} + a^{2k-1} + b^{2k-2}}{(a^k+b^k+c^k)^2}.$$
Similarly for the other two terms, taking the sum, it remains to prove
$$\sum (a^{2k} + a^{2k-1} + a^{2k-2}) \le (a^k+b^k+c^k)^2$$
or equivalenty
$$(a^{2k-1} + b^{2k-1} + c^{2k-1}) + (a^{2k-2} + b^{2k-2} + c^{2k-2}) \le 2(a^kb^k+b^kc^k+c^ka^k).$$
Re-writing this in homogeneous form:
$$(abc)^{1/3}(a^{2k-1} + b^{2k-1} + c^{2k-1}) + (abc)^{2/3}(a^{2k-2} + b^{2k-2} + c^{2k-2}) \le 2(a^kb^k+b^kc^k+c^ka^k) \quad (*)$$
It suffices to find a value of $k$ for which this inequality holds for any $a,b,c > 0$. In this case, $k=2/3$ is such a value. Indeed, if $k=2/3$, denote $x=a^{1/3},y=b^{1/3},z=c^{1/3}$, $(*)$ becomes
$$xyz(x+y+z) + x^2y^2z^2\left(\frac{1}{x^2}+\frac{1}{y^2}+\frac{1}{z^2}\right) \le 2(x^2y^2+y^2z^2+z^2x^2),$$
or equivalently $$xyz(x+y+z) \le x^2y^2+y^2z^2+z^2x^2,$$
which is just $rs+st+tr \le r^2+s^2+t^2$ with $r=xy,s=yz,t=zx$.
Remark.


*

*The inequality $(*)$ is not true for the trivial value $k=1$. (This was indeed my first try.)

*I could have not mentioned $k$ at all, just implicitly set it to $2/3$, and put $x=a^{1/3},y=b^{1/3},z=c^{1/3}$ at the beginning of the proof. However, I think it's useful to show how I obtained the solution.

</s>