solve 800000<x^(30/5) over the reals