西主值。通过两侧取虚部，并注意到，formula_37是偶函数，由定义formula_38，于是我们得到想要的结果
初等证明.
收敛性.因为formula_41 递增并且有上界formula_42，故由单调收敛定理知，formula_43有极限值formula_44。
收敛值.令"λ= a/π"，"z= x/λ"，则 "a= λx"，"x=λz""h(x)"在区间[0,π]连续，所以"h(x)" 有上下界，又直接计算可以发现故