Jawaban tepat untuk Erdős #650, dengan pembuktiannya diformalkan dalam Lean.

Senang melihat kedua kontribusi mendapat pengakuan.

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