##log 12 ~~ 1.0792##
Since I remember (as is useful to remember):
##log 2 ~~ 0.30103##
##log 3 ~~ 0.47712125##
I can calculate:
##log 12 = log (2*2*3)##
##color(white)(log 12) = log 2 + log 2 + log 3##
##color(white)(log 12) ~~ 0.30103 + 0.30103 + 0.47712125##
##color(white)(log 12) ~~ 0.60206 + 0.47712125##
##color(white)(log 12) ~~ 1.07918125##
If you request ##log 12## on a calculator you will get a similar approximation.
If we truncated this to ##4## decimal places then we would get:
##1.0791##
but the following digit is ##8 >= 5## so in order to round the value to ##4## decimal places we need to round up the final digit ##1## to ##2## to get:
##log 12 ~~ 1.0792##
##color(white)()##Footnote
If you remember good approximations for ##log 2## and ##log 3## then you can calculate approximations to ##log n## for ##n in { 1 2 3 4 5 6 8 9 10 12 15 16 18 20… }## i.e. any positive integer whose only prime factors are ##2## ##3## or ##5##.
That seems to me to be good value for the sake of remembering a couple of numbers.