log6≦3^3^27((log3)%1)<log7
を示す
log(log6)≦3^27((log3)%1)log(3)<log(log7)
を示す
log(log(log6))≦27((log3)%1)log(3)log(3)<log(log(log7))
を示す