P
Initializing...
psi integral on [0,1] is at least 1/sqrt(t) when 1 <= t · Prove2Me