We give a characterization for the geometric mean inequality
(integral (infinity)(0)[exp((xk+1)/(k+1)integral (x)(0)tklnf(t)dt)](q)u(x))
(1/q)less than or equal toC(integral (infinity)(0)f(p)(x)v(x)dx)(1/p)
to hold for the case 0 < q < p less than or equal to infinity, p > 1, where
f is positive a.e. on (0, infinity), and C > 0 independent of f. (C) 2000
Elsevier Science Ltd. All rights reserved.