The inequality is used widely in functional analysis, matrix theory, it is proved again from infinit

中文解释

此不等式在泛函分析、矩阵理论方面有着广泛的应用，从微积分学角度出发再给予证明。