おう…もう1つ仮定が抜けていた。
・fは連続な関数である(点aでも連続)
これがないと絶対に微分できないし。そもそもロピタルの定理が使えなくなるし。