数学の本 第87巻

d/dx sin(x) = cos(x) を示すのに、 lim_{x → 0} sin(x) / x = 1 を使っている本で、

lim_{x → 0} sin(x) / x を計算するのに、

lim_{x → 0} cos(x) / 1 = lim_{x → 0} cos(x) = 1 だから、 lim_{x → 0} sin(x) / x = 1 とやるのと同じです。

滑稽ですよね。