This result is a particular case of R4871: Translation property of the standard real log-sum-exp function. $\square$