Absolute convergence of 1/ζ(s)=∑μ(n)n−s for Res>1 gives ∣1/ζ(σ+it)∣≤ζ(σ)=O((σ−1)−1)as σ↓1. If ζ is holomorphic at 1+it0, a zero of order m there would give reciprocal growth of order (σ−1)−m on the horizontal approach. Thus m≤1. This proves a multiplicity restriction, not existence of such a zero or a zero-free-line theorem.