我们目前正处于 Proof Boom 的 Erdős Rush 阶段😅 @HarmonicMath