рассмотрим последовательность x1.....xn. дано что х1>xn
надо доказать что существует k x(k)>x(k+1)
предположим противное что такого k не существует.
x(k)<=x(k+1) подставляя вместо k значения от 1 до n</p>
будем иметь
x1<=x2<=x3......<=xn откуда x1<=xn, а это противоречит условию задачи.</p>
следовательно наше предположение ошибочно.