I believe that the insights is that for practical purposes, you can restrict yourself to a bounded stack; under the assumption that a large enough constant mean

I believe that the insights is that for practical purposes, you can restrict yourself to a bounded stack; under the assumption that a large enough constant means that you will not run into an input large enough to overrun your limit.