Elementarily Traceable Irrational Numbers. - Keita Hiroshima; Akitoshi Kawamura (CiE, 2023)