Table 1.

Rigorous computable bounds for X=50 and various θ∈[0,π/4).

for θ∈(0,0.75]:TX,θ0=0.070737AX,θ0=0.000152
for θ=0.755:TX,θ0=0.060758AX,θ0=0.00216