 n      rho=2^(-1/n)   monic  roots_real_in_interval  mean0  q(2rho)  q(-2rho)   length 4*2^(-1/n)   numeric max|q| on F
 1  0.5000000000   True   True                    True   1        -1         2.000000            1.000000000  (|q| at 1.001*2rho = 1.0010)  ident:True
 2  0.7071067812   True   True                    True   1        1          2.828427            1.000000000  (|q| at 1.001*2rho = 1.0040)  ident:True
 3  0.7937005260   True   True                    True   1        -1         3.174802            1.000000000  (|q| at 1.001*2rho = 1.0090)  ident:True
 4  0.8408964153   True   True                    True   1        1          3.363586            1.000000000  (|q| at 1.001*2rho = 1.0160)  ident:True
 5  0.8705505633   True   True                    True   1        -1         3.482202            1.000000000  (|q| at 1.001*2rho = 1.0251)  ident:True
 6  0.8908987181   True   True                    True   1        1          3.563595            1.000000000  (|q| at 1.001*2rho = 1.0362)  ident:True
 7  0.9057236643   True   True                    True   1        -1         3.622895            1.000000000  (|q| at 1.001*2rho = 1.0494)  ident:True
 8  0.9170040432   True   True                    True   1        1          3.668016            1.000000000  (|q| at 1.001*2rho = 1.0647)  ident:True
 9  0.9258747123   True   True                    True   1        -1         3.703499            1.000000000  (|q| at 1.001*2rho = 1.0821)  ident:True
10  0.9330329915   True   True                    True   1        1          3.732132            1.000000000  (|q| at 1.001*2rho = 1.1017)  ident:True
11  0.9389309107   True   True                    True   1        -1         3.755724            1.000000000  (|q| at 1.001*2rho = 1.1234)  ident:True
12  0.9438743127   True   True                    True   1        1          3.775497            1.000000000  (|q| at 1.001*2rho = 1.1475)  ident:True
ALL CHECKS PASSED
limit of the length 4*2^(-1/n) as n -> oo is 4; so sup over n of the covering radius is >= 2.
