log2(9)的倒数是什么?怎么证?