P
Initializing...
A harmonic lower bound for an implicit quadratic recurrence · Prove2Me