证明 ln 在 (0,infinity) 凹并用此证明AM-GM不等式: (x+y)/2 >= sqrt(xy) 对。