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