错了,这是 公式,正确的版本如下:
证明需要用到:
Bohr-Mollerup定理:若 在 上是正值函数,且满足 则
事实上,只需证明
将等式最右侧的函数记为 则
于是条件 成立.
由余元公式,有
进而可得到
注意到如下事实:
令 则得
所以有
由 公式,有
此即
简单的计算表明:
命题已明.