漠然としてるんですけど高校レベルでは、導関数 f'[x]についてlimit[ f'[x], x->inf]=c と定数cに収束する証明は難しいものですか?