[1] m=1..20000: max_m>=10 (2 pi m)|z_m - F_m| = 0.20237 (< 1 required by D_m); args strictly decreasing: True; smallest gap 2.503e-09
[2] float argument principle in B minus unit quarter disc: 9.000000 zeros
[3] max |R1+|/eps+ = 0.4999, max |R1-|/eps- = 0.3362 (must be <= 1)
[4] m=10: min|u-1|*(2 pi m) = 0.9918, max|E|*(2 pi m) = 0.2018 (proof bounds: >=0.9837, <=0.5641)
[4] m=11: min|u-1|*(2 pi m) = 0.9925, max|E|*(2 pi m) = 0.2019 (proof bounds: >=0.9837, <=0.5641)
[4] m=12: min|u-1|*(2 pi m) = 0.9932, max|E|*(2 pi m) = 0.2019 (proof bounds: >=0.9837, <=0.5641)
[4] m=13: min|u-1|*(2 pi m) = 0.9937, max|E|*(2 pi m) = 0.2020 (proof bounds: >=0.9837, <=0.5641)
[4] m=14: min|u-1|*(2 pi m) = 0.9942, max|E|*(2 pi m) = 0.2020 (proof bounds: >=0.9837, <=0.5641)
