以下の補題を使いました。 Let be positive numbers such that , and let . Then, there is no satisfying the following three conditions, , , . proof: We suppose that satisfies the three conditions. The inequality clearly holds, and thus, holds.…

原稿を修正しました。修正した不等式は、テストデータにも依存する上界になっています。