solve(15^x-5^(x--1)+5*3^x-9^x)/(4^x-4)<=0 for x real