Multiply the Maclaurin series for the exponential and the sine, keeping terms through degree three:
Only , , and contribute at these orders, so
Near zero the logarithm's argument is positive, so . Use the Maclaurin series of the natural logarithm:
The local calculation uses for the real logarithm; the power series converges for .
Insert into the exponential series . For every fixed , this gives the expansion with absolute convergence
This is a Laurent series in inverse powers of , as requested. It is not a Maclaurin series about zero: that series has every coefficient zero and cannot equal on a punctured neighborhood of zero. There is no contradiction, since the inverse-power expansion does not apply at .
Use the Maclaurin series on the positive side:
In the last expression the original square root covers , whose leading term is . Hence and . All three are positive for sufficiently small positive , so
Thus is greatest and least in the stated limit.
Write the formal Maclaurin series as , where . If the successive nonzero coefficient ratios have a limit, the ratio test gives
so the series converges absolutely for , where
If that ratio does not exist, the Cauchy-Hadamard theorem gives the general formula . The radius of a Maclaurin series from successive derivatives concerns convergence of the series; equality to the original function additionally requires analyticity or a vanishing Taylor remainder. Mere differentiability, or even smoothness, does not ensure that equality.
For the specified logarithm,
The absolute successive-term ratio tends to , so the interval of absolute convergence is . At the nonconstant terms are the alternating harmonic series, which converges conditionally to , giving the full sum . At all nonconstant terms are , so the series diverges to ; the original logarithm is also undefined there. Thus the full real convergence interval is .
Multiply the Maclaurin series by the binomial series . The constant, linear and quadratic coefficients are therefore
Use the Maclaurin series and . Multiplying through the cubic order gives
These are the first three nonzero terms; the constant term vanishes.
Use . The Maclaurin series gives
All three nonzero terms are needed; stopping at fourth order would supply only two.
Expand the natural logarithm and reciprocal separately:
Multiplication gives the first three nonzero terms of the Maclaurin series:
The local expansions converge for .
The Maclaurin series give and . Inverting the latter using the geometric series gives
Multiplying the two expansions yields
The remainder is because the product already generates an term from .
Use the Maclaurin series and . The terms through fourth degree give
In particular the cubic coefficient cancels; it has not been omitted accidentally.
Multiply the Maclaurin series of hyperbolic cosine by the binomial series for the reciprocal square root:
The quadratic terms cancel, while the quartic coefficient is . Hence
The absence of odd powers follows from the function's even symmetry.
Multiply the Maclaurin series and the geometric series . The first two nonzero terms are
Use the Maclaurin series of the logarithm and hyperbolic cosine:
To retain terms through degree six, only the constant and quadratic terms of the reciprocal factor can multiply the leading cubic term. Thus
The numerator in the original PDF is ; the cubic power is missing from the local TeX transcription.
Write the sine argument as , with . The sine addition formula gives . Its Maclaurin series is , so
There is no linear term because the outer sine has zero derivative at .
Divide numerator and denominator by before taking their Maclaurin series:
For the reciprocal denominator, the geometric series gives . Multiplying gives the Taylor expansion
Strictly, the original quotient has a removable singularity at zero; this is the Taylor series of its continuous, analytic extension with value one there. The absence of odd powers also follows because the ratio of these two odd functions is even.
The Maclaurin series of the hyperbolic cosine and cosine are
Both are even, so write their quotient as . Multiplication by the denominator gives coefficients and . Matching the numerator yields and . Thus
The denominator is nonzero near the expansion point, so division of the power series is valid there.
Use the Maclaurin series and . Multiplication gives
The same terms follow from the two sine harmonics in the Fourier series found above.
The Maclaurin series , applied with and then multiplied by , gives
These are the first three nonzero terms. The remainder is written in Big O notation.
Factor the leading term out of the Maclaurin series for the sine:
The binomial theorem gives, through degree four inside the bracket,
The coefficient of is . Multiplying back by yields