WolframAlpha computational knowledge AI
solve log2(95^n) >= 128 over the integers