Comment Comment by IsTom And still that requires X to not be particularly large. It could conceivably be in ballpark of BB(40). parent IsTom 3 months ago