任意のxで連続で微分可能なxについての関数をf(x)とし、f'(0)≧f(0)とする。
lim[x→0]{f(ax)cos(x)+asin(x)}/x=lim[x→0]{f(ax)sin(ax)+kcos(x)}/xを満たすaを求めよ。
ただし、kは定数である。