{
  "id": "lenstra87-balanced",
  "categoryId": "ifp-lhalf-heuristic",
  "paperId": "lenstra87",
  "date": "1987-11-30",
  "datePrecision": "month",
  "time": {
    "coefficient": 1,
    "expression": "L_N[1/2, 1]"
  },
  "space": {
    "coefficient": null,
    "expression": "Not extracted from the source"
  },
  "tags": [],
  "review": {
    "status": "source-checked"
  },
  "certificate": {
    "status": "not-provided",
    "lean": null
  },
  "notes": "For balanced semiprimes p ≍ sqrt(N), the conjectured ECM bound becomes the displayed L_N[1/2,1] bound. This is a direct parameter specialization of the paper’s small-factor expression.",
  "extra": {
    "derivation": "Substitute log p = (1/2+o(1)) log N into sqrt(2 log p log log p)."
  },
  "evidence": {
    "url": "https://annals.math.princeton.edu/1987/126-3/p09",
    "locator": "Abstract; balanced-factor specialization",
    "sourceVersion": "Version available at the cited URL; bibliographic metadata and stated bound checked on 2026-11-08"
  }
}