simplification of the neperian logarithm
Express ln(4) as a function of ln(2) .
Course reminder : Real functions