Cho tứ giác ABCD nội tiếp đường tròn (O). Gọi P là điểm chính giữa cung CD không chứa hai điểm A và B. Tia AP cắt đường thẳng BC tại E, tia BP cắt đường thẳng AD tại F.
Chứng minh $\frac{EF}{BA}+\frac{BA}{EF}+\frac{AF}{BE}+\frac{BE}{AF}\leq \frac{PE}{PA}+\frac{PA}{PE}+\frac{PF}{PB}+\frac{PB}{PF}$