>>566の式と1との大小比較すれば
>>564がわかる