You might take a look at [the paper by Forenc Adorjan, "Binary Mappings of montonic sequences and the Aronson function"][1]. It specifically discusses the number you describe. [1]: http://web.axelero.hu/fadorjan/aronsf.pdf