>>713
log7 ≒ (1/4)(2 + 3log2 + log3) とするとけっこう合う。