Registry · Definition IV.D199 tau-effective formalized

IV.D199 — Rydberg constant

The Rydberg constant R_infinity = alpha_em^2 m_e c / (2 hbar) encodes the hydrogen energy levels via E_n = -hcR_infinity/n^2; it is a derived quantity in Category tau since both alpha_em and m_e are iota_tau-determined, making it a parameter-free prediction.

Book IV Part 6 Ch. 47

Lean Formalization

Module: TauLib.BookIV.Particles.BetaDecay

Symbol: Tau.BookIV.Particles.RydbergConstant