(lna+lnb)/2=(ln(a*b))/2=ln(ab的平方根)
因为（a+b)/2>=ab的平方根
lnx在其定义域上单调递增函数
所以ln(a+b)/2 >=（lna+lnb)/2