certificate for f' = 0.010: bound 0.000375 (eps 2.0e-05)
certificate for f' = 0.020: bound 0.000620 (eps 2.2e-05)
certificate for f' = 0.035: bound 0.000912 (eps 2.0e-05)
certificate for f' = 0.050: bound 0.001175 (eps 2.0e-05)
certificate for f' = 0.075: bound 0.001626 (eps 2.3e-05)
certificate for f' = 0.100: bound 0.002017 (eps 1.9e-05)
certificate for f' = 0.125: bound 0.002360 (eps 1.4e-05)
certificate for f' = 0.150: bound 0.002649 (eps 2.7e-05)
certificate for f' = 0.175: bound 0.002893 (eps 2.7e-05)
certificate for f' = 0.200: bound 0.003118 (eps 1.6e-05)
certificate for f' = 0.225: bound 0.003308 (eps 1.3e-05)
certificate for f' = 0.250: bound 0.003475 (eps 2.5e-05)
certificate for f' = 0.275: bound 0.003621 (eps 2.0e-05)
certificate for f' = 0.300: bound 0.003757 (eps 1.7e-05)
certificate for f' = 0.325: bound 0.003877 (eps 2.0e-05)
certificate for f' = 0.350: bound 0.003995 (eps 1.2e-05)
certificate for f' = 0.375: bound 0.004092 (eps 1.4e-05)
certificate for f' = 0.400: bound 0.004167 (eps 1.8e-05)
certificate for f' = 0.425: bound 0.004228 (eps 1.1e-05)
certificate for f' = 0.450: bound 0.004270 (eps 1.4e-05)
certificate for f' = 0.475: bound 0.004299 (eps 2.1e-05)
certificate for f' = 0.500: bound 0.004310 (eps 2.0e-05)
floor: RMS >= 0.05533