Cho x, y là hai số thực dương thỏa mãn x khác y và

Câu hỏi :

Cho x, y là hai số thực dương thỏa mãn $x\ne y$ và ${\left(2^x+\frac{1}{2^x}\right)}^y<{\left(2^y+\frac{1}{2^y}\right)}^x$. Tìm giá trị nhỏ nhất của biểu thức $P=\frac{x^2+3y^2}{xy-y^2}$