>>615
z=tで切ったら
x^2+y^2≦log2-log(1+t^2)
は円の周または内部
tのとりうる範囲は-1≦t≦1