>>207
ただこの定義だと定数であることを証明するのがクソめんどくさいw

なので三角関数の方程式の解として定義する方法もある。