14.5 Introduction: selling put options to buy shares with discount