que y = 4 + ln x resolve x y' = 1: