WolframAlpha computational knowledge AI
prime counting function 100000