Formalization of Wallis Infinite Product Formula for π and the Wallis Integral (Formalized Mathematics, 2025)