On compactness and optimality of stopping times · Study