Lemma

やりたいこと

微分積分を ε-δ からきちんと

実数の連続性から出発して、極限・連続・微分・積分を一つずつ証明でつなぐ。