234652275domain: NAppears in sequencesDenominators of rationals related to John Wallis' product formula for Pi/2 (from his 'Arithmetica infinitorum' from 1659).at n=7A120995