P
Initializing...
A quadratic bottleneck gives the variation lower bound · Prove2Me