d n  L   N   TP+N   TS+N   n^(2d-1)  (TS+N)>=n^(2d-1)?  log(TP+N)/log(TS+N)  target d/(2d-1)
2 2  2   4   12     12     8         True               1.0000              0.6667
2 3  3   9   33     39     27        True               0.9544              0.6667
2 4  4   16  64     80     64        True               0.9491              0.6667
3 2  4   8   32     40     32        True               0.9395              0.6000
Z^2 random check of (i): 300 random (x,F,y), |F|<=9: TP+N >= (1/33)(TS+N)^(2/3) always; min ratio (TP+N)/(TS+N)^(2/3) = 1.923
ALL CHECKS PASSED
