[Pitchayut]

คืออสมการ jensen กล่าวไว้ว่าดังนี้ครับ

"ให้ $f(x)$ เป็นฟังก์ชันนูน และ $x_1, x_2, x_3, ..., x_n$ เป็นจำนวนจริงซึ่งทำให้ $f(x_i)$ หาค่าได้เมื่อ $i=1$ ถึง $n$ จะได้ว่า $$\frac{f(x_1)+f(x_2)+f(x_3)+...+f(x_n)}{n} \geq f\left(\frac{x_1+x_2+x_3+...+x_n}{n}\,\right) $$
ถ้า $f(x)$ เป็นฟังก์ชันเว้าเครื่องหมายอสมการก็จะกลับข้าง"

ซึ่งผมทดลองแล้วว่ามันใช้ได้ดีกับการแก้โจทย์อสมการผลบวกที่ซับซ้อน ดังนั้นผมก็เลยสงสัยว่ามีอสมการแบบเดียวกันแต่ว่าเป็นผลคูณดังข้างล่างนี้ไหม

"ให้ $f(x)$ เป็นฟังก์ชันนูน และ $x_1, x_2, x_3, ..., x_n$ เป็นจำนวนจริงซึ่งทำให้ $f(x_i)$ หาค่าได้เมื่อ $i=1$ ถึง $n$ จะได้ว่า $$\sqrt[n]{ f(x_1)f(x_2)f(x_3)...f(x_n)} \geq f\left(\sqrt[n]{x_1x_2x_3...x_n}\,\right) $$
ถ้า $f(x)$ เป็นฟังก์ชันเว้าเครื่องหมายอสมการก็จะกลับข้าง"

รบกวนผู้รู้ช่วยตรวจสอบให้ด้วยว่าอสมการนี้เป็นจริงหรือเปล่าครับ แต่ผมคิดว่าถ้าใส่ log เข้าไปทั้งสองข้างน่าจะพิสูจน์ได้ครับ