WolframAlpha computational knowledge AI
2^(n+3)/((2^n +1)^4) <= 10^(-50)