>>17
申し訳ない、訂正
x>0で定義された微分可能な関数f(x)
条件f(1)=1、f`(x)=<(f(x)/x)-1、f`(x)は0<xで連続

f(x)/x=-∞を(x→∞)示せ