>>558
log(x[n])=x[n-1]*loga>(loga)*(logx[n-1])>・・・　（∵x>0ならx>logx）
・・・>(logx[0])(loga)^n=(loga)^(n+1)→+∞（n→+∞）