まぁ、そやろ

数学

https://twitter.com/varepsilon_math/status/1458775288196710402

上に有界な非負整数列 \{a_n\} のとり得る値は有限個だから自明。

2022.10.14追記
tweet が削除されていたので問題がわからなくなってしまった．