すみません、根拠はわかりません。あまり勉強家でないもので、第三者の定義は読みませんもの
で。「sin(x)の無限乗積は1-x^2/(nπ)^2の形の因数をもつ」、とはいいますが、1-x^2/(nπ)^2は
sin(x)の約数である、とはあまり言わないように思います。やはり両者は違う（使い分けできる）
のでは?