%I A094642
%S A094642 4,5,1,5,8,2,7,0,5,2,8,9,4,5,4,8,6,4,7,2,6,1,9,5,2,2,9,8,9,4,8,8,2,1,4,
%T A094642 3,5,7,1,7,9,4,6,7,8,5,5,5,0,5,6,3,1,7,3,9,2,9,4,3,0,6,1,9,7,8,7,4,4,1,
%U A094642 4,7,9,1,5,1,3,1,3,6,4,1,7,7,7,5,9,9,4,3,2,7,9,0,7,1,0,2,0,1,6,0,0,0,8
%N A094642 Decimal expansion of log Pi/2.
%D A094642 G. Boros and V. Moll, Irresistible Integrals: Symbolics, Analysis and 
               Experiments in the Evaluation of Integrals, Cambridge University 
               Press, Cambridge, 2004, Chap. 7.
%D A094642 J. Borwein and P. Borwein, Pi and the AGM, John Wiley & Sons, New York, 
               1987, Chap. 11.
%D A094642 D. Huylebrouck, Similarities in irrationality proofs for Pi, ln2, zeta(2) 
               and zeta(3), Amer. Math. Monthly 108 (2001) 222-231.
%H A094642 J. Sondow, <a href="http://arXiv.org/abs/math.NT/0401406">A faster product 
               for pi and a new integral for ln(pi/2)</a>.
%e A094642 Log (Pi/2) = 0.4515827...
%t A094642 RealDigits[ Log[Pi/2], 10, 111][[1]]
%Y A094642 Cf. A094643.
%Y A094642 Sequence in context: A010662 A131131 A073241 this_sequence A069284 A068447 
               A082051
%Y A094642 Adjacent sequences: A094639 A094640 A094641 this_sequence A094643 A094644 
               A094645
%K A094642 cons,easy,nonn
%O A094642 0,1
%A A094642 Jonathan Sondow (jsondow(AT)alumni.princeton.edu) and Robert G. Wilson 
               v (rgwv(AT)rgwv.com), May 18 2004