WolframAlpha computational knowledge AI
y ln 2 - ln x - (5/4)(y/x) >= 0