2026-03-12 Любопытное неравенство, откуда взялось

День 102-й. Нужно доказать небольшое неравенство, которое непонятно откуда взялось. Потихоньку подбираемся к отгадке... Для понимания решения нужны знания 7-8 класса.