www.imojp.org を(となるの個数)として定義するとこれは広義単調増加である 数列のすべての項が等しいとすると以下のの個数はまたは無数にあるから明らかに矛盾 あるにおいてだと仮定すると、でありの広義単調増加性からとなるので帰納的に以降は狭義単調減…