计算 f(x) = x^2 在 [0, 3] 上的平均值,并找到积分 TVM 保证的点 c 。