solve(0.8^(5*x--10)>2)for x real