files / problems / simon-ionization-excess / compute / q10 / 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 q9 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,
      "q9_1.1017_3.936": 7.162449252386221,
      "Nam_1.22_3": 6.219763149684619,
      "q9_excludes_new_integer": false
    },
    {
      "Z": 3,
      "Lieb_2Z+1": 7,
      "Lieb_integer_Nc_le": 6,
      "q9_1.1017_3.936": 8.98179430872996,
      "Nam_1.22_3": 7.986748710922225,
      "q9_excludes_new_integer": false
    },
    {
      "Z": 4,
      "Lieb_2Z+1": 9,
      "Lieb_integer_Nc_le": 8,
      "q9_1.1017_3.936": 10.654810540546833,
      "Nam_1.22_3": 9.642203155904598,
      "q9_excludes_new_integer": false
    },
    {
      "Z": 5,
      "Lieb_2Z+1": 11,
      "Lieb_integer_Nc_le": 10,
      "q9_1.1017_3.936": 12.238965326119478,
      "Nam_1.22_3": 11.22992784003009,
      "q9_excludes_new_integer": false
    },
    {
      "Z": 6,
      "Lieb_2Z+1": 13,
      "Lieb_integer_Nc_le": 12,
      "q9_1.1017_3.936": 13.762386653387301,
      "Nam_1.22_3": 12.77136177849642,
      "q9_excludes_new_integer": false
    }
  ]
}