WolframAlpha computational knowledge AI
4 ≤ 2^x – 1