[Ne[S]zA]

$a_i \geqslant 0$ ไม่ใช่หรอครับ ถ้า $a_i >0$ คงจะมองรวมถึง HM. อ่ะครับ (หรือผมจำผิด)
แล้วก็ในที่นี้เราใช้ $a_1=(xy)^2$ และ $a_2=(yz)^2$ ซึ่งมากกว่าหรือเท่ากับศูนย์อยู่แล้วครับ
แต่ที่จริง จากความจริง เราได้อยู่แล้วว่า $(xy-yz)^2\geqslant 0$ ครับ