Comment by 50CNT

Reminds me of the problem that uses Graham's number, where the lower bound shifted from 6 to 11 to 13, and the upper bound is a number that exceeds the bounds of up arrow notation.