Доказательства неравенства Коши для четырёх чисел: схемы и формулы