Вроде как легко совсем, но сомневаюсь
доказать:
`lim_(x->oo)An=q>1 => EE N AAn>N:
`An>1`
Я по определению пишу:
`q-epsilon < An => EE epsilon_1: q-epsilon_1>1 => An>1`
можно так доказать?