Formulas that determine the values of the definite integrals from 0 to π/2 of the functions sinⁿ (x ), cosⁿ (x ), and cos^m (x ) sinⁿ (x ) for positive integers m and n. Also known as Wallis theorem.