WolframAlpha computational knowledge AI
((1-4^m) / (1-4)) < (2^64-1)