f(x)が全てのxについて連続で微分可能なら、
f'(x)も∫f(x)dxも全てのxについて連続で微分可能ですよね？

あとf(ax)を微分した形はaf'(ax)ですよね？

あってるんですかー？