limx→0 sinx/x=1って普通に使ってたけどあまり考えたことないわ