login
-log(log(2)) / log(2)
0

%I #10 Mar 30 2012 17:35:24

%S 5,2,8,7,6,6,3,7,2,9,4,4,8,9,7,6,1,4,2,4,7,4,9,7,7,7,9,7,7,8,8,1,4,8,

%T 1,5,1,8,7,2,3,7,0,6,3,6,8,3,3,1,9,1,0,7,6,2,7,4,6,9,6,4,3,5,9,6,5,3,

%U 1,8,5,4,9,9,5,8,0,7,9,5,9,6,8,4,9,0,7

%N -log(log(2)) / log(2)

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

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

%Y Cf. A002162, A074785.

%K nonn,cons

%O 0,1

%A _Franklin T. Adams-Watters_, Jul 14 2011