(5/4)^x >= (4/5)^x