Superhedging price (source code)

= Superhedging price
{title2=$\pi(X)=\inf\{V_0:V_T\geq X\}$}

The infimum of initial costs of admissible <superhedging> portfolios. Positive <pricing kernels> supply lower bounds: if $\mathbb E[ZP]=p$ and $H\cdot P\geq X$, then $H\cdot p\geq\mathbb E[ZX]$ whenever these <expectations> exist.