Note that the argument above is implicit already in the proof of the lemma, which also shows by calculation that E < 1 {\displaystyle E<1} .
Заметим, что приведённые выше доводы уже неявным образом присутствуют в доказательстве леммы, что также показывает, что E < 1 {\displaystyle E<1} .