设 $fin C[0,1]$ 适合 $$ex xf(y)+yf(x)leq 1,quadforall x,yin [0,1]. eex$$ 试证: $$ex int_0^1 f(x) d xleq frac{pi}{4}. eex$$