㏒₂6>log₄5
㏒₁\₂3<log₁/₄2.25
log₁₅7<log₁₂7
㏒₄5=1/2·㏒₂5 => ㏒₂5 < ㏒₂6 <=> 1/2·㏒₂5 < ㏒₂6 <=> ㏒₂6 > ㏒₄5 ;
㏒₁/₂3=-1·㏒₂3 ;㏒₁/₄2,25=-2·㏒₂(3/2)⁻²=4·㏒₂(3/2) => -1 < 4 => ㏒₁/₂3 <㏒₁/₄2,25 ;
㏒₁₅7=1 /㏒₇15 ;㏒₁₂7=1 /㏒₇12 => ㏒₇15 > ㏒₇12 <=> 1 /㏒₇15 < 1 /㏒₇12 <=>
㏒₁₅7 < ㏒₁₂7 .
