P
Initializing...
$\sqrt{T}\cdot l = o(T\,l)$ · Prove2Me