>>805
スネル・ホイヘンスの不等式
>>628-644