P
Initializing...
The upper bound u(j) in the extended reals · Prove2Me