(x - 1)/x <= log x