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