琴声不等式的一个小应用

最近看论文，其中一篇论文里面证明一个算法符合ε-隐私保护时，有一步是下面的式子：

在这一步上面，我看了很久，一直不明白是如何得到的。后面才搞明白的，特此记下。

其证明过程如下：

以上为琴声不等式一个小小的应用。