Rado's Sigma Function

See Busy Beaver