是的，與 @HarmonicMath 的亞里士多德一起證明 Erdős 問題很棒，但你有試過用它來驗證 LeetCode 風格的解決方案嗎？ 我們試過了。它有效（不變推理... 目前還不快）。