Solusi matematika lengkap. Verifikasi formal penuh dalam Lean. Keduanya layak mendapatkan pengakuan melalui #JustinSunPrize

Pelajari selengkapnya:
https://hejustinsun.com/prize

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