Let x1=a=max{x1,x2,⋯,xn}, x1=b:xmin{x1,x2,⋯,xn}.
If x2⩽21+b, then x1(1−x2)⩾x1
- (1−21+b)=21x1(1−b), obviously when i=1
H(1) holds. If x2>21+b, since 21+b⩾2a, and x1=b⩽−1+b, there are the following two cases:
(1) x1=b,x2>21+b,x8>21+b,
⋯,x1xm>21+b=min{x2,⋯,x.},
where 2⩽m⩽n. It is easy to see that
xm−1(1−xm)>x1(1−xn).
(2) There exists 3⩽t⩽n, such that xt=b⩽21+b, then there exists 2⩽i⩽n−1 such that x1>21+v, x1+1⩽21+b, so
x1(1−x1+1)⩾21+b(1−21+b)⩾4a(1−b)⩾41x1(1−x1).
In any case, (1) holds.