Если x[j] - такой элемент, то, по условию, x[j]>x[1]+...+x[j-1]+x[j+1]+..+x[k], k - количество элементов в столбце.
Теперь, если добавить к обеим частям неравенства x[j], то получится 2*x[j]>S(k).