P
Initializing...
$\mu$ is a (finite) convex function (Phragmén–Lindelöf) · Prove2Me