Да, это я чушь написал. Короче левую часть основного неравенства можно преобразовать как 1/(1/(ad+bc)+1/(ab+cd)). Последовательно применяя неравенство о среднем геом и среднем арифм, получаем что ad+bc>=2√abcd, 1/(ad+bc)<=1/(2√abcd), точно также 1/(ab+cd)<=1/(2√abcd) и 1/(ad+bc)+1/(ab+cd)<=1/√abcd, тогда 1/(1/(ad+bc)+1/(ab+cd))>=√abcd что и требовалось. Скорее всего можно проще, но я уже сплю.