Các lời giải toán học hoàn chỉnh. Chứng minh hình thức đầy đủ trong Lean. Cả hai đều xứng đáng được ghi nhận thông qua #JustinSunPrize

Tìm hiểu thêm:
https://hejustinsun.com/prize

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