P
Initializing...
Squared max coprime-residue error is at most the summed squared errors · Prove2Me