具体过程不写了(可参考https://math.stackexchange.com/questions/3011297/complex-integral-inequality-int-11fx2dx-leq-pi-int-02-pife):可以按照以下步骤证明:Hilbert 不等式