Beh, la strada canonica è quella che hai indicato tu!

Trovare una stima dal basso mi sembra estremamente hard. Un primo passo in quella direzione sarebbe scoprire come tende a zero la successione [latex:fw9qybr2]1-a_n[/latex:fw9qybr2]. A quel punto si può tentare di sparare una stima opportuna dal basso e dimostrarla per induzione.

Ma il livello dell'esercizio sale ...