 Truncated lognormal moment

If $\log S=m+sZ$ with $s>0$, $K>0$ and $Z$ having the standard normal distribution, then for every real $p$,Here $\Phi$ is the standard normal distribution function. Multiplying the normal distribution density by $e^{psZ}$ and completing the square shifts its mean by $ps$ and supplies the factor $e^{p^2{s}^2/2}$; this is a Gaussian exponential tilt. Integrating above or below the shifted threshold proves both formulas. They apply to noninteger and negative powers, including the inverse-price moment $p=-1$. The lower-tail formula gives the European power put formula after a binomial theorem expansion.