simplification of a fraction and the neperian logarithm of a quotient
Express `2/7*ln(1/(9))` as a function of ln(3)
Course reminder : Real functions