Rado's sigma-plex function

Rado's sigma-plex function is equal to $$\Sigma(\Sigma(1000))$$