solve(k^2-3)^2-(6*k)^2>0 for k real