北大的一道数列真题

问题:序列满足,证明：无界

证明：反证法：若有界，由于,从而有界：

定义：， 则：;

断言：

从而; 

若 :

从而； 

断言证毕，从而：

矛盾