P
Initializing...
An average over a set inherits a pointwise bound on that set · Prove2Me