If something is strictly less than something else, is it definitely finite? Because if x < y, and the biggest thing y can be is ∞, then x < ∞, but does that mean x is finite? Couldn't x = (∞ - 1)? Isn't that still technically infinity? What if x = (∞ - ε)?