A conjecture of M. Vuorinen that the Muir approximation is a lower approximation to the arc length of an ellipse is verified. Vuorinen conjectured that
is positive for . The authors prove a much stronger result which says that the Maclaurin coefficients of are nonnegative. As a key lemma, they show that
when for all positive integers .