  z0        A=int|X1w|^2   B=int|X2w|^2   D=int|w|^2/x^2   (A+B)/D     (A+B)/(D z0)   Nn/D      Nn/(D z0^2)
  0.1       4.7631e+03     2.8713e-02     4.7272e+03      1.0076e+00  10.0760         1.352e-02  1.3518
  0.05      3.8675e+04     2.7143e-03     6.7293e+04      5.7473e-01  11.4946         3.948e-03  1.5791
  0.02      6.0760e+05     1.5804e-04     2.4242e+06      2.5064e-01  12.5322         7.034e-04  1.7585
  0.01      4.8649e+06     1.9475e-05     3.7671e+07      1.2914e-01  12.9143         1.827e-04  1.8271
  0.005     3.8928e+07     2.4257e-06     5.9372e+08      6.5565e-02  13.1130         4.658e-05  1.8633
  0.002     6.0828e+08     1.5508e-07     2.2980e+10      2.6470e-02  13.2348         7.542e-06  1.8856
  0.001     4.8663e+09     1.9383e-08     3.6655e+11      1.3276e-02  13.2759         1.893e-06  1.8931

Conclusion (numerical): (A+B)/D ~ const*z0 -> 0 and Nn/D = O(z0^2), so for any a>0, k>=0, c in R the
weak Hardy inequality fails on these w once z0 is small; in particular FPR Prop. 4.7's hypothesis (72)
and the effective-potential condition (4)/(63) cannot hold for this structure (cf. s1, C12).
