In general, experience shows that when attempting to prove a given inequality, expanding the
terms grouped in a product is usually not the best way. There must be some reasons that the terms
be written as a product of factors. Expanding (or sometimes squaring both sides involving radicals)
by brute force will usually end up in a mess.