欲張りクリーク列は、ZFC公理系ではwell-defined性が証明できないので、ZFC公理系に限定すれば急増加関数による比較が出来ないと。
ボーカロイド好きが集うMastodonインスタンス、通称「ボカロ丼(ボカロドン)」です。 ** This server is for "Vocaloid" lovers. If you are not, please select other server. **