# Bound on moment generating function

This question arises from the one asked here about a bound on moment generating functions (MGFs).

Suppose $$XX$$ is a bounded zero-mean random variable taking on values in
$$[−σ,σ][-\sigma, \sigma]$$ and let $$G(t)=E[etX]G(t) = E[e^{tX}]$$ be its MGF. From a bound used in a proof of Hoeffding’s Inequality, we have that
$$G(t)=E[etX]≤eσ2t2/2G(t) = E[e^{tX}] \leq e^{\sigma^2t^2/2}$$
where the right side is recognizable as the MGF
of a zero-mean normal random variable with standard deviation $$σ\sigma$$.
Now, the standard deviation of $$XX$$ can be no larger than $$σ\sigma$$, with
the maximum value occurring when $$XX$$ is a discrete random variable such that $$P{X=σ}=P{X=−σ}=12P\{X = \sigma\} = P\{X = -\sigma\} = \frac{1}{2}$$. So, the bound referred
to can be thought of as saying that the MGF of a zero-mean bounded random
variable $$XX$$ is bounded above by the MGF of a zero-mean normal random
variable whose standard deviation equals the maximum possible standard
deviation that $$XX$$ can have.

My question is: is this a well-known result of independent interest
that is used in places other than in the proof of Hoeffding’s Inequality,
and if so, is it also known to extend to random variables with nonzero means?

The result that prompts this question allows asymmetric range $$[a,b][a,b]$$ for $$XX$$ with $$a<0 but does
insist on $$E[X]=0E[X] = 0$$. The bound is
$$G(t)≤et2(b−a)2/8=et2σ2max/2G(t) \leq e^{t^2(b-a)^2/8} = e^{t^2\sigma_{max}^2/2}$$
where $$σmax=(b−a)/2\sigma_{\max} = (b-a)/2$$ is the maximum standard deviation possible
for a random variable with values restricted to $$[a,b][a,b]$$,
but this maximum is not attained by zero-mean random variables unless
$$b=−ab = -a$$.

First, note that any r.v. $Z$ with finite range $[a+\mu,b+\mu]$ and (necessarily finite) mean $\mu$ can be transformed into an r.v. $X = Z-\mu$ that is, of course, zero mean with range $[a,b]$ (thus satisfying the conditions in your problem statement). The transformed variate has m.g.f. $\phi_X(t) = \exp\{-\mu t\}\phi_Z(t)$ (by basic properties of the m.g.f.) Multiplying both sides by $\exp\{\mu t\}$ and applying the inequality gives:
$\phi_Z(t) = \exp\{\mu t\}\phi_X(t) \leq \exp\{\mu t\}\exp\{t^2\sigma^2_\text{max}/2\} = \exp\{\mu t + t^2\sigma^2_\text{max}/2\}$
Not surprisingly, the m.g.f. of a Normal random variable with the same mean and standard deviation equal to $\sigma_\text{max}$.