>>573
0以上π以下の前提条件がある