Let $a,b,c$ and $d$ be positive real numbers such that
$a + b + c + d = 12$
and
$abcd=27+ab+ac+ad+bc+bd+cd$.
Find all possible values of $a,b,c,d$ satisfying these equations.
I found this problem on someone's blog, where they had also given a proof using AM-GM, but there was one part of it I couldn't follow and was wondering if anyone could help me. Feel free to come up with your own proof, but the proof in question is about halfway down this page: https://mblog1024.wordpress.com/2011/11/30/bmo2/
I couldn't understand why $6\sqrt{abcd}\geq54$
Thanks in advance for any help.