Предположим противное: A>B. Тогда по лемме 1 существует N1:
" n³N1 Ð an > n
Определим n = max{N,N1}.
Тогда an > n, но по условию теоремы an £ n при n³N. Противоречие. 0