Room for Simply Beautiful Art and Astyx

Well,
$H_0(n)=n$
$H_\alpha(n)=H_{\alpha-1}(n+1)$ if $\alpha$ is a successor ordinal.
$H_\alpha(n)=H_{\alpha[n]}(n)$ if $\alpha$ is a limit ordinal