네, 일대일대응함수는 무리없이 치환해도 됩니다. 문의내용이 맞습니다만, lnx는 정의역인 x>0인 조건만 생각해주시면 됩니다. 감사합니다.