 European power put formula

In the dividend-free Black-Scholes model, let $\tau =T-t>0$, $K>0$, $S>0$, $\sigma >0$ andThen the displayed finite sum prices the European option with power put option payoff. Here $\Phi$ is the standard normal distribution function. Indeed, $\log S_T$ conditionally has a normal distribution with mean $\log S+(r-{\sigma }^2/2)\tau$ and variance ${\sigma }^2\tau$. Expand $(K-S_T{)}^n$ by the binomial theorem on $S_T<K$ and apply the lower truncated lognormal moment to each term. Equivalently,This expectation representation proves monotonicity and convexity in $S$. It also gives $P_n(0,t)=K^n{e}^{-r\tau }$ and $P_n(S,t)\to 0$ as $S\to \infty$ by the dominated convergence theorem. For positive $S$ the lognormal distribution smoothing makes the price smooth and strictly positive.