(1) hhat >= 0: knots>=1 checked 41; fine cells on [0,1-d]: 380, worst certified lower bound [0.00000114664062477309723428596491499, 0.00000114664062477309723428596491499]; edge slope term kappa/4-beta+c in [0.0000099999999999654686112326417267, 0.00000999999999996546861143943687983]
(2) Q >= 0 on (0,20]: 20000 cells checked, minimal certified lower bound [0.0000452519068258157760175986016442, 0.0000452519068258157760175986032219]
beta = 0.984812384124  ->  certified h(0) = 1 - beta = 0.015187615876
FAILURES: [] count 0
CERTIFIED
elapsed 130 s
10:45:42
