已知f(x)=3sinx-πx,命题P:∀x∈(0,π/2),f(x)