Theorem: integrability_aux₂ (PrimeNumberTheoremAnd/ZetaBounds.lean)

State before:
a b : ℝ
⊢ Continuous fun x => 1 / 2 - ↑x
Tactic:
continuity
State after:
no goals