{
  "scope": "Exact finite samples of the infinite diagonal example, not a general proof",
  "cutoff_m": 4,
  "n": [
    1,
    2,
    3,
    4,
    5,
    6,
    7,
    8,
    9,
    10
  ],
  "f_tail": [
    1.0,
    0.5,
    0.25,
    0.125,
    0.0625,
    0.03125,
    0.015625,
    0.0078125,
    0.00390625,
    0.001953125
  ],
  "omega_tail": [
    1.0,
    0.25,
    0.0625,
    0.015625,
    0.00390625,
    0.0009765625,
    0.000244140625,
    6.103515625e-05,
    1.52587890625e-05,
    3.814697265625e-06
  ],
  "compressed_f_tail": [
    0.9375,
    0.4375,
    0.1875,
    0.0625,
    0.0,
    0.0,
    0.0,
    0.0,
    0.0,
    0.0
  ],
  "NF9_bound": [
    2.0,
    1.0,
    0.5,
    0.25,
    0.125,
    0.125,
    0.125,
    0.125,
    0.125,
    0.125
  ],
  "m": [
    1,
    2,
    3,
    4,
    5,
    6,
    7,
    8,
    9,
    10
  ],
  "predual_norm_error": [
    0.5,
    0.25,
    0.125,
    0.0625,
    0.03125,
    0.015625,
    0.0078125,
    0.00390625,
    0.001953125,
    0.0009765625
  ],
  "form_at_Omega_exact": "4/3"
}