0218132人目の素数さん垢版 | 大砲2020/07/03(金) 00:19:06.02ID:dQ3cINxn >>207 ただこの定義だと定数であることを証明するのがクソめんどくさいw なので三角関数の方程式の解として定義する方法もある。