Solution (source code)

= Solution

The one-period <fundamental theorem of asset pricing>, applied as a separating-hyperplane theorem to the cone of attainable payoffs, gives the superhedging duality
$$
\inf\{H\cdot P_0:H\cdot P_1\geq\xi_1\}
=\sup_Y\frac{\mathbb E[\xi_1Y_1]}{Y_0},
$$
where the supremum is over martingale deflators. The assumed strict inequalities make the right side strictly below $\xi_0$. Hence some $H$ satisfies $H\cdot P_0\leq\xi_0$ and $H\cdot P_1\geq\xi_1$ almost surely.