y = ln x por diferenciação implícita