Registry · Remark V.R140 tau-effective not_applicable

V.R140 — The Reynolds number is bounded

The Reynolds number is bounded above at every primorial level: Re_tau^macro <= M Prim(n)^{1/2} / eta_tau^macro, where the numerator grows as Prim(n)^{1/2} from the ABCD extraction bound. The Reynolds number can be large but never infinite.

Book V Part 4 Ch. 27

Lean Formalization

Module: