A note on busy beaver bounds. - Tomás Schitter; Sergio Abriola; Nicolás González (Theor. Comput. Sci., 2025)