Why is this expression bounded by 1?

[AxiomOfChoice]

How exactly might one go about showing that

<br /> \left| \frac{1 - e^{-iy}}{-iy} \right|<br />

is bounded by 1 for y\in \mathbb R? I thought this would be easy to show using the series expansion of e^{-iy} in some way:

<br /> \left| \frac{1 - e^{-iy}}{-iy} \right| = \left| 1 - \frac{iy}{2} - \frac{y^2}{6} + \frac{iy^3}{24} + \ldots \right| = \lim_{N\to \infty} \left| \sum_{n=0}^N \frac{(-iy)^n}{(n+1)!} \right| = \lim_{N\to \infty} g(y,N).<br />

But this doesn't seem to be the right way to do it. For example, if you look at g(8,N) for the first several values of N\in \mathbb N, it eventually settles down to something less than one, but it takes it awhile! Indeed, one needs to take N=14 to make g(8,N) &lt; 1. So I'm not sure a simple "inequalities are preserved under the limit" argument will work. And the series isn't alternating, so the alternating series estimation theorem won't work, either. Any ideas?

 

[mathwonk]

have you tried writing out the absolute values in top and bottom? using the basic identities e^(it) = cos(t) + i sin(t) and |a+bi|^2 = a^2 + b^2?

 

[phyzguy]

Try expanding the expression, which will give you a real function of y. You can then find the extrema of the expression inside the square root by taking the derivative and setting it equal to zero, then find the largest extremum. A little involved, but it works.

 

[AxiomOfChoice]

Ok. Both of you guys seem to have a pretty decent suggestion. It looks like, for y\in \mathbb R,

<br /> \left| \frac{1 - e^{-iy}}{-iy} \right| = \frac{2}{|y|} \left| \sin \left( \frac{y}{2} \right) \right| = f(y).<br />

We first observe that it is sufficient to show f(y) \leq 1 on (-2,2); on the complement of this interval, the obvious estimate f(y) \leq \frac{2}{|y|} \leq 1 does the trick. (Note that we are forcing the original function to have the value of 1 at zero; maybe I should've mentioned that!) Also, f(y) is an even function, so it will suffice to look at 0 &lt; y &lt; 2. If we let x = y/2, this is equivalent to looking at g(x) = \frac{\sin x}{x} for 0 &lt; x &lt; 1. But the alternating series estimation theorem shows us that \frac{\sin x}{x} &lt; 1 for x\in (0,1), so we're done. Does this sound right?