In practice I think the problem is linear, in that the required precision is proportional to log maxValue, that would be enough for a certain answer. It's just

In practice I think the problem is linear, in that the required precision is proportional to log maxValue, that would be enough for a certain answer. It's just that a proof of this is considerably harder, since you can't just assume the fractional part of irrational numbers is random.