The Wallis-Catalan Infinite Product Formula and the Lemniscate Constant | Synapse