This is a front-end for the Online Encyclopedia of Integer Sequences, made by Christian Perfect. The idea is to provide OEIS entries in non-ancient HTML, and then to think about how they're presented visually. The source code is on GitHub.
%I A258501 #10 Dec 10 2016 19:37:58 %S A258501 2,9,7,0,2,8,7,0,5,0,2,5,5,7,5,8,7,7,9,3,7,9,9,8,4,2,9,1,0,3,1,6,8,6, %T A258501 3,7,3,2,3,9,5,0,4,3,9,6,3,2,7,1,5,0,2,5,4,5,3,4,5,9,0,1,4,7,2,9,3,6, %U A258501 1,2,1,9,6,3,5,1,0,9,9,8,5,2,8,9,3,2,8,9,1,5,5,0,9,2,8,0,9,1,4,1,3,8 %N A258501 Decimal expansion of the nontrivial real solution of x^(5/2) = (5/2)^x. %H A258501 Jonathan Sondow, Diego Marques, <a href="http://arxiv.org/abs/1108.6096">Algebraic and transcendental solutions of some exponential equations</a>, Annales Mathematicae et Informaticae 37 (2010) 151-164. %F A258501 x0 = -((x*ProductLog(-1, -(log(x)/x)))/log(x)), with x = 5/2, where ProductLog is the Lambert W function. %e A258501 x0 = 2.97028705025575877937998429103168637323950439632715025453459... %e A258501 z = x0^(5/2) = 15.20533715980107653442006557792026842686895921352582... %e A258501 z > e^e = 15.15426224... = A073226. %t A258501 x0 = -((x*ProductLog[-1, -(Log[x]/x)])/Log[x]) /. x -> 5/2; RealDigits[x0, 10, 102] // First %Y A258501 Cf. A073226, A194556, A194557, A258500 (x^(3/2)=(3/2)^x), A258502 (x^(7/2)=(7/2)^x). %K A258501 nonn,cons,easy %O A258501 1,1 %A A258501 _Jean-François Alcover_, Jun 01 2015