首先，解题默认了一个结论：底数<1的对数函数是减函数所以，当真数取得最小值时，对数函数取得最大值。
你给的定义域保证了X为正所以是适用基本不等式的而F（X）明显在定义域内单调递减，有最大值（闭区间）所以是小于等于这不难理解啊
