7.1 introduction: the price of an option