f,gは(0,∞)上広義可積分な非負実数値関数で、
f(x)→0, xg(x)→0 (x→∞)
をみたすとする
n∫[0,∞]f(x)g(nx)dx→0 (n→∞)
を示せ