WolframAlpha computational knowledge AI
|1/a -1/x|<r , a>0, r>0,x>0