simplifying the neperian logarithm of a quotient
Express `ln(1/4)` as a function of ln(2)
Course reminder : Real functions