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 convergenceThis 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 , soThus 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 givesso the series converges absolutely for , whereIf 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 givesThese are the first three nonzero terms; the constant term vanishes.
Use . The Maclaurin series givesAll 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 givesMultiplying the two expansions yieldsThe remainder is because the product already generates an term from .
Use the Maclaurin series and . The terms through fourth degree giveIn 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 . HenceThe absence of odd powers follows from the function's even symmetry.
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. ThusThe 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 , soThere 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 expansionStrictly, 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 areBoth are even, so write their quotient as . Multiplication by the denominator gives coefficients and . Matching the numerator yields and . ThusThe denominator is nonzero near the expansion point, so division of the power series is valid there.
Use the Maclaurin series and . Multiplication givesThe same terms follow from the two sine harmonics in the Fourier series found above.
The Maclaurin series , applied with and then multiplied by , givesThese 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