今天发现柯西积分不等式非常适合这道题目

【 在 LeoQ 的大作中提到: 】
: 是的，第二问需要证明的结论更强。
:
--
FROM 101.110.32.*