P
Initializing...
Analytic upper bound for the first non-zero derivative of Gelfond's auxiliary function · Prove2Me