День 263-й. Небольшое упражнение на доказательство неравенства. И хоть оно с 4-мя переменными, но задача пустяковая. Что напрашивается сделать - то и приводит к решению. Ну, если алгебру в школе нормально учили ) Для понимания решения нужны знания 7-8 класса.