>>256
微積使って sin(x)/x → 0 を証明しようにも、うまくやらないとsinxの
微分にsin(x)/x → 0 が使われてしまい、循環論法に陥る。