A rational number 𝑎𝑏 is greater than 𝑐𝑑 if (for all positive 𝑎,𝑏,𝑐,𝑑)
A rational number 𝑎/𝑏 is greater than 𝑐/𝑑 if (for all positive 𝑎,𝑏,𝑐,𝑑)
If a,b,c,d are positive numbers, then ab+cd<2√abcd