图片识别成文本：

Let f(x) be a monotonically decreasing continuous function on [o, oo), and prove that: a2(t)dt 3t2f(t)dt, a E [o,+ oo).