我們目前正處於 Proof Boom 的 Erdős Rush 階段😅 @HarmonicMath