The joint law of the maximum and terminal value of a martingale · Study