P(a)があるa_0まで成り立っているとする。
さらにより大きなa_1まで成り立つかどうかは分からない。
とおもうのですが？よくよんでいないのかもしれんです。