LaTeX source for: An Explicit Lower Bound for the Proportion of Isolated Zeros of the Riemann Zeta Function
Version: v0.4 (editorially refined), 11 November 2026.

Contents:
- Kim_Isolated_Zeros_Bound_v0.4.tex (self-contained manuscript)

Build with TeX Live or Overleaf:
  pdflatex -interaction=nonstopmode -halt-on-error Kim_Isolated_Zeros_Bound_v0.4.tex
  pdflatex -interaction=nonstopmode -halt-on-error Kim_Isolated_Zeros_Bound_v0.4.tex

Requires standard LaTeX packages including needspace. No external images or BibTeX files are required.

The manuscript TeX is byte-identical to the 21-page refined v0.4 editorial source, apart from its filename. The manuscript and mathematical statements have NOT been independently peer reviewed. The corresponding numerical certificate and numerical replay are distributed as separate, unchanged ZIP files retaining their original version numbers.
