%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