P
Initializing...
The maximal function of f is at most that of its large part plus the truncation level · Prove2Me