>>945
>>909です。

>>947
具体的には書いていませんが、定数a,bを与えた時に式Cを満たすp,nの存在を
仮定しています。