# Proving that the return from the butterfly spread is nonnegative [closed]

The butterfly spread satisfies the inequality

c(X1) - 2c(X2) + c(X3) >= 0

Where call strikes satisfy X1<X2<X3 and X2 - X1 = X3 - X2.

There is a “proof” that was provided here https://quant.stackexchange.com/a/32609/66878. However the proof is missing many steps and serves more as an outline.

Could anyone elaborate on the proof or provide their own in full detail?

Thanks so much, Jordan

• It is the price of the butterfly spread that is non-negative. Commented Apr 1, 2023 at 9:44
• Does this answer: quant.stackexchange.com/questions/61031/… fill up the missing gaps for you? Commented Apr 1, 2023 at 10:17
• Make sure you understand the intuition behind the proof: The long butterfly never has a negative payoff, so you cannot receive money for entering into the trade. It would be "free money with no risk" (arbitrage). You only receive money at the start on an option trade that has some possibility of losing money in the future. Once you grasp that the rest are (important) details. Commented Apr 1, 2023 at 11:45
• Nbbo2 - thank you for the clarification. You’re right. I wrote (and was thinking) return but clearly this is only true in terms of the value of the position. Commented Apr 1, 2023 at 17:31
• Prove that $(S-(K+\epsilon))^+ +(S-(K-\epsilon))^+-2(S-K)^+\geq 0$ for all $S\geq 0$, $K\geq 0$, and $\epsilon\geq 0$, by studying what do you get when $S$ belongs to the $4$ adjacent intervals generated by the 'strikes'. (Note that this is not true for arbitrary sets of 'strikes'.) Then apply the expectation operator on both sides of the inequality (with $S$ now viewed as a random variable with non-negative values) to get the 'prices', and remember its linearity and non-negativity properties (see the wiki or textbooks).
– ir7
Commented Apr 2, 2023 at 1:53