@Shirahoshi_Fuu it's circular. I like this method for a different reason, it has good intuition related to Euler’s identity: https://t.co/dgqaLPohFJ
But using d/dx with sin/cos already requires knowing facts related to lim sin(x)/x,
The simplest solution I’ve seen was in some Kolmogorov book