これは、n&lt;10000の場合は正しいことがコンピュータによって示され、すべてのnについて正しいと予想された。