三角関数
trigonometric function
知られた極限値
$ \lim_{x\to 0}\frac{\sin{x}}{x}=1
ジョルダンの不等式
で導出できる