完全な数学的解答。Leanによる完全な形式検証。どちらも評価されるべきです。#JustinSunPrize

詳細はこちら：
https://hejustinsun.com/prize

https://x.com/JustinSunPrize/status/2109561198169747710