log(3/5, x-1) <= 0