День 193-й. Красивое симметричное неравенство с четырьмя переменными. Можно сказать, что-то из классики. Для понимания решения нужны знания 8-го класса.