When did the museum announce it was stopping the project
If τ is the first time at which a continuous and real valued process " X " is equal to some value " a " , then it is announced by the sequence τ " n " , where τ " n " is the first time at which " X " is within a distance of 1 / " n " of " a " .