P
Initializing...
Eventual bounds for $c_\lambda = 1/\lambda_1 + \lambda_1/3$ · Prove2Me