files / problems / simon-ionization-excess / compute / q6 / certs / smallz.json

1.2 KB · on GitHub

{
  "status": "residue",
  "reason": "Lieb N_c<2Z+1 still excludes the most integers at Z=2..6. The q5 simplified envelope sits above 2Z+1 there. A leading coefficient >1 cannot bound N0(Z)-Z.",
  "rows": [
    {
      "Z": 2,
      "Lieb_2Z+1": 5,
      "Lieb_integer_Nc_le": 4,
      "q5_1.1035_3.941": 7.172348857635695,
      "Nam_1.22_3": 6.219763149684619,
      "q5_excludes_new_integer": false
    },
    {
      "Z": 3,
      "Lieb_2Z+1": 7,
      "Lieb_integer_Nc_le": 6,
      "q5_1.1035_3.941": 8.994405556581496,
      "Nam_1.22_3": 7.986748710922225,
      "q5_excludes_new_integer": false
    },
    {
      "Z": 4,
      "Lieb_2Z+1": 9,
      "Lieb_integer_Nc_le": 8,
      "q5_1.1035_3.941": 10.669947545806673,
      "Nam_1.22_3": 9.642203155904598,
      "q5_excludes_new_integer": false
    },
    {
      "Z": 5,
      "Lieb_2Z+1": 11,
      "Lieb_integer_Nc_le": 10,
      "q5_1.1035_3.941": 12.256515205852862,
      "Nam_1.22_3": 11.22992784003009,
      "q5_excludes_new_integer": false
    },
    {
      "Z": 6,
      "Lieb_2Z+1": 13,
      "Lieb_integer_Nc_le": 12,
      "q5_1.1035_3.941": 13.782272256351462,
      "Nam_1.22_3": 12.77136177849642,
      "q5_excludes_new_integer": false
    }
  ]
}