← Back to context

Comment by IsTom

1 day ago

And still that requires X to not be particularly large. It could conceivably be in ballpark of BB(40).