を満たす(スペクトル半径は下界を与えている)。