P
Initializing...
$t \le n\,t^{\beta}$ for $0 < t \le n$ (proof of Theorem C.3) · Prove2Me