Table 1.
Rigorous computable bounds for
X
=50 and various
θ
∈[0,
π
/4).
for
θ
∈(0,0.75]:
T
X
,
θ
0
=
0.070737
A
X
,
θ
0
=
0.000152
for
θ
=0.755:
T
X
,
θ
0
=
0.060758
A
X
,
θ
0
=
0.00216