>>78
>>79を書いた直後に気づいたが
|at+t^3-4t-k|/√(a^2+1)≦1
の方がはるかに簡単だった。