0,1

This is the value for which 2^x - x is minimized.

Table of n, a(n) for n=0..86.

-log(log(2)) / log(2) = .5287663729448976142474977797788....

Cf. A002162, A074785.

Sequence in context: A185353 A168202 A153455 * A200135 A001062 A187876

Adjacent sequences: A193016 A193017 A193018 * A193020 A193021 A193022

nonn,cons

Franklin T. Adams-Watters, Jul 14 2011

approved