ln x <= (x-1) ln (x/(x-1))