P
Initializing...
(44): with S ≤ T < 2^b, L < b, γ ≤ b/4, b ≥ 8192, p = 6b, the final absolute error 2^{2b+4} S · 28·2^γ T²… · Prove2Me