Por lo general, no se puede simplemente restar dos desigualdades como hiciste en tu intento. Aquí hay dos enfoques para resolver tu problema:
Argumento de no arbitraje
Supongamos que el valor inicial del diferencial Butterfly era estrictamente negativo $V_0 < 0$ . La compra del diferencial de la mariposa produciría, por tanto, un flujo de caja estrictamente positivo en el momento $t = 0$ . A continuación, observe que el resultado final $V_T$ es no negativo. Es cero cuando $S_T \in [0, K - \Delta] \cup [K + \Delta, \infty)$ y estrictamente positivo cuando $S_T \in (K - \Delta, K + \Delta)$ . Se trata de un almuerzo gratuito (se obtiene dinero en efectivo ahora y se tiene un pago no negativo en el futuro) y, por lo tanto, contradice la ausencia de arbitraje.
Supongamos ahora que $V_0 = 0$ . En este caso, el flujo de caja inicial de la compra del spread mariposa es cero. En el futuro tendrá un flujo de caja no negativo. Si este flujo de caja tiene una probabilidad de ocurrencia distinta de cero, entonces esto representa una lotería gratuita y de nuevo contradice el no arbitraje.
Densidad de precios del Estado
A partir del resultado de Breeden-Litzenberger, sabemos que
\begin{equation} C_0(K) = e^{-r T} \int_K^\infty (x - K) f(x) \mathrm{d}x \qquad \Leftrightarrow \qquad \frac{\partial^2 C_0}{\partial K^2} = e^{-r T} f(K). \end{equation}
Es decir, la segunda derivada compuesta del precio de la opción de compra con respecto al precio de ejercicio es igual a la densidad de probabilidad neutra del riesgo. En $f$ para que sea válida, exigimos que la segunda derivada sea no negativa en todas partes. Consideremos ahora una aproximación por diferencias finitas:
\begin{equation} \frac{\partial^2 C_0}{\partial K^2} = \lim_{\Delta \downarrow 0} \frac{C_0(K - \Delta) - 2 C_0(K) + C_0(K + \Delta)}{\Delta^2}. \end{equation}
El numerador es sólo la dispersión de la mariposa y se deduce que también tiene que ser no negativo. El argumento para que sea estrictamente positivo depende, de nuevo, de si se permiten regiones con masa de probabilidad cero o no.