MathDB
Inequality with strange square condition

Source: Cetroamerican 2021

August 12, 2021
inequalities

Problem Statement

Let n3n \geq 3 be an integer and a1,a2,...,ana_1,a_2,...,a_n be positive real numbers such that mm is the smallest and MM is the largest of these numbers. It is known that for any distinct integers 1i,j,kn1 \leq i,j,k \leq n, if aiajaka_i \leq a_j \leq a_k then aiakaj2a_ia_k \leq a_j^2. Show that
a1a2anm2Mn2 a_1a_2 \cdots a_n \geq m^2M^{n-2}
and determine when equality holds