Tricky inequality involving 3 variables

inequality radicals optimization a.m.-g.m.-inequality substitution

Let $x=\frac{a}{2\sqrt2}$, $y=\sqrt2b$ and $z=\sqrt2c$.

Hence, $c\geq b$ and by AM-GM: $$6=4bc+ab+ac\geq6\sqrt[6]{(bc)^4(ab)(ac)}=6\sqrt[6]{a^2b^5c^5}\geq6\sqrt{a^2b^6c^4},$$ which gives $$1\geq ab^3c^2=\frac{1}{2}xy^3z^2.$$ The equality occurs for $x=\frac{1}{2\sqrt2}$ and $y=z=\sqrt2$

and we are done!

Related

Jordan form step by step general algorithm
Is it possible that $\sum a_{\sigma(n)}$ converges iff $\sum b_{\sigma(n)}$ diverges for every permutation $\sigma :\mathbb N\to \mathbb N$?
Yoneda lemma as a generalisation of Cayley's theorem
$L^p$ spaces between Riemannian Manifolds
Generalized limit in $l_\infty$ (Using: Hahn Banach Extension Theorem)
Does $e^{AB}=e^{BA}$ imply $AB=BA$?
Deformation retracting the torus minus a point to of figure 8
Finding the turning points of $f(x)=\left(x-a+\frac1{ax}\right)^a-\left(\frac1x-\frac1a+ax\right)^x$
Probability of $\mathcal{O}_{\mathbb{Q}(\alpha)}=\mathbb{Z}[\alpha]$
Is there a subset of $\mathbb R^2$ that has fundamental group $\mathbb Z^2$?
Standard short exact sequences in Algebraic Geometry
For a business document, what term would be used for stating the last time the document has been modified?