The Value of a European Put at Expiration