存在 使得:

当 时取等

推广为

任意的实数 使得:

当 时取等