Let us note that if we tried to prove inequality (2.2) using the inequality 2(x) < 1.001102 p x+ 3 3 p x, valid for all x > 0 (see [8]), we would have faced a larger amount of computer checking. We can now prove.
ให้เราสังเกตว่า ถ้าเราพยายามพิสูจน์อสมการ (2.2) ใช้ 2(x) อสมการ < 1.001102 p x 3 3 p x ถูกต้องสำหรับทั้งหมด x > 0 (ดู [8]), เราจะต้องเผชิญจำนวนมากของการตรวจสอบคอมพิวเตอร์. เราสามารถพิสูจน์ได้