Jeffry L. Hirst Minima of initial segments of infinite sequences of reals. 47-50 2004 50 Math. Log. Q. 1 http://dx.doi.org/10.1002/malq.200310075 db/journals/mlq/mlq50.html#Hirst04