14.5 Selling put options to buy shares with discount