存在 使得:

时取等

推广为

任意的实数 使得:

时取等