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