P
Initializing...
The maximum of (c/√t)^t on [1, c²] is e^{c²/(2e)} (for c ≥ √e) · Prove2Me