P
Initializing...
A strict partial-sum bound for a rational multiplier recurrence · Prove2Me