A note on the accuracy of a computable approximation for the period of a pendulum

We discuss the accuracy of a previously proposed computable approximation for the period of the simple pendulum. In particular, we apply known inequalities for the Gaussian hypergeometric function to prove that the associated error is a monotonic function of the maximum angular displacement, α. For any given range of α, this provides an analytical verification of a precise bound for the associated error