r0 = 1.538615763549176257474792662264
check 2/r0^2 + 1/(1+r0)^2 - 1 = 1.000e-49
K0 = (1+r0)(2+r0) = 8.98318575848954343455
shift identity + symmetry + positivity: 6240 exact term checks, failures = 0
ratio bound r=3/2: 12600 pairs; min D'(1+r)/D = 1.666667 (>=1 required); max c D^3/((1+r)(2+r)) = 0.428571 (<=1 required)
ratio bound r=31/20: 12600 pairs; min D'(1+r)/D = 1.645161 (>=1 required); max c D^3/((1+r)(2+r)) = 0.436620 (<=1 required)
Doob-transform term identity holds exactly: True
