一つ前の記事と似てるような似てないような、なので書いておくを数列とする。任意のに対して (優加法性) を満たすならば、 を満たす 直感的には、とりあえずが(どこかから)非減少列であることを示せてしまえればよさそうに見える。 しかし、この方針では厳し…