You might take a look at the paper by Forenc Adorjan, "Binary Mappings of monotonic sequences and the Aronson function". It specifically discusses the number you describe.
Matthew Conroy
- 331
- 2
- 4