https://twitter.com/varepsilon_math/status/1458775288196710402上に有界な非負整数列 のとり得る値は有限個だから自明。2022.10.14追記 tweet が削除されていたので問題がわからなくなってしまった．