Παρατηρήστε ότι ο λογάριθμος του γινομένου δύο αριθμών είναι ίσος με το άθροισμα των λογαρίθμων τους.

Να δώσετε μία περισσότερο αυστηρή απόδειξη της πρότασης αυτής.