For a positive integer n>2 , let (a1,a2,…,an) be a sequence of n positive reals which is either non-decreasing (this means, we have a1≤a2≤…≤an ) or non-increasing (this means, we have a1≥a2≥…≥an ), and which satisfies a1=an . Let x and y be positive reals satisfying yx≥a1−ana1−a2 . Show that:
a2⋅x+a3⋅ya1+a3⋅x+a4⋅ya2+…+an⋅x+a1⋅yan−1+a1⋅x+a2⋅yan≥x+yn.