Inter-universal geometry と ABC予想 (応援スレ) 64

[434 超集合ω (帝国中央都市) 2022/01/22(土) 09:03:28.24]

ω>0
ω>1>0
ω>2>1>0
…
ω>n> … >0
は皆降下列

しかし
「いくらでも長い有限降下列が存在する」
からといって
「無限に長い降下列が存在する」
とはいえない