How do we know this function always displays the same sequence of numbers?

Because the output isn't updated by any parameters.