2026-06-11 Неравенство по мотивам Коши с четырьмя переменными

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