は、反復関数が以下の条件を満たすとき唯一の不動点に収束する。