はい、エルデのアリストテレス問題を証明するのは素晴らしいことです@HarmonicMath、でもLeetCodeスタイルの解法を検証するために使ってみましたか? あります。これは機能します(不変推論は...まだ速くはない)。