lim(x→0)sinx/x=1

の証明が循環論法になってる件について