P
Initializing...
Closing an n log n recursion with contraction ρ < 1 · Prove2Me