Now, let k be the largest index satisfying . Then, of course, (else, k wouldn't be the largest index).
Ngayon, hayaan k ay ang pinakamalaking index nagbibigay-kasiyahan . At, siyempre, (ibang tao, hindi k ay ang pinakamalaking index).