WolframAlpha computational knowledge AI
1-sqrt(-2k)>-1/k