Comment by naasking

I don't see why. A parameter provides an upper bound but there's no need to also assume that that upper bound must go to infinity.