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