Lyapunov exponent
で与えられるリアプノフ指数 formula_20 の下界より従う。