if at time formula_16 the wiener process has a known value formula_54, it is possible to calculate the conditional probability distribution of the maximum in interval formula_55 (cf. probability distribution of extreme points of a wiener stochastic process). the cumulative probability distribution function of the maximum value, conditioned by the known value formula_1is: