Registry · Theorem
V.T16
tau-effective
formalized
V.T16 — Redshift-Depth Relation
The refinement drift between depths n_s and n_r is 1 + z(n_s, n_r) = ell(Delta_{n_s})/ell(Delta_{n_r}) = p_{n_r}/p_{n_s} = prod_{k=n_s+1}^{n_r} q_k. The redshift is determined by the product of primes between source and reception depths.
Book V
Part 1
Ch. 7