Etymology
Today it means: An infinite product that approximates half of pi Full definition →
Published in 1656 by John Wallis.
Etymology from Wiktionary, CC BY-SA 4.0.