Function/1+ln x -1 over x/Bijection/Exercise