  We prove a generalization of the Wallis product for a sequence of real
numbers related to arc lengths of clover curves. Our proof generalizes a common
argument given for the original Wallis product using a sequence of definite
integrals.
