# How do I prove that $\lim_{K\searrow0}\frac{P(K,T)}{K} = \mathbb P(S_T=0)$?

I am trying to prove that $$\lim_{K\searrow0}\frac{P(K,T)}{K} = \mathbb P(S_T=0)$$ where $P(K,T)$ denotes the put option price with maturity $T$ and strike $K$ for some stock $S$. Assuming interest rates $r=0$ we write $$\lim_{K\searrow0}\frac{P(K,T)}{K} = \lim_{K\to0}\frac{\int_0^K(K-S)f(S)dS}{K}$$ $$= \lim_{K\searrow0} \left(\int_0^Kf(S)dS - \frac1K\int_0^KSf(S)dS\right)$$ $$= \lim_{K\searrow0} \left(\mathbb P(S_T\le K) - \frac1K\mathbb E[S_T1_{S_T<K}]\right)$$ where $f(S)$ is the density of $S_T$.

Now $\lim_{K\searrow0} \mathbb P(S_T\le K) = \mathbb P (S_T=0)$, but I am not sure whether it is "obvious" that $\frac1K\mathbb E[S_T1_{S_T<K}]$ tends to zero as $K$ tends to zero.

-
Which model do you consider? Black Scholes or something different? –  Richard Jun 27 '14 at 6:39
@Richard I am only assuming that $P(K,T)=\mathbb E[(K-S_T)^+]$ for some process $S_T$ that has a desnity $f(S)$ (one might write $f_T(S)$ to indicate that this density is in fact associated with $S_T$ and not with any other $S_t$). –  Tom Jun 27 '14 at 10:12

$$\lim_{K\searrow0}\frac{P(K,T)}{K} = \lim_{K\to0}\frac{\int_0^K(K-S)f(S)dS}{K}$$ $$= \lim_{K\searrow 0} \left(\int_0^Kf(S)dS - \frac1K\int_0^KSf(S)dS\right)$$ $$= \lim_{K\searrow 0} \big(\mathbb P(S_T\le K)\big) - Sf(S)\big\vert_{S=K=0}$$ $$= \mathbb P(S_T=0),$$ where $f(S)$ is the density of $S_T$.
@Richard I think it's as follows: If $g(x)$ is a function, then $\frac1\epsilon\int_a^{a+\epsilon} g(x)dx \to g(a)$ as $\epsilon\to 0$ (assuming $g(x)$ is smooth "enough"). –  Tom Jun 27 '14 at 10:15