>>347
微分使うと循環論法になる恐れ

sinx/x→1の証明のところじゃないか?