# [seqfan] Re: Proof or counter sample needed

Maximilian Hasler maximilian.hasler at gmail.com
Sat Nov 8 05:03:14 CET 2008

```I agree, but:

(a) there's a typo in formula (11) of the Mathworld page

(b) I think in %N A073009,  "... = Integrate(x^(-x),{x,0,1}) "
should be replaced by "... = integral( x^(-x), 0<x<1 )"
or something similar: "x in [0,1]" or "x=0...1" etc.
Curly braces are used to denote sets, anticommutators or Poisson
brackets (if there are 2 arguments), or the fractional part of a
number (if there is only 1 argument). Here none of these seem to
apply.

Maximilian

On Fri, Nov 7, 2008 at 8:52 PM, Max Alekseyev <maxale at gmail.com> wrote:
> It is always a good idea to click on the links provided in OEIS.
> In particular, in A073009 entry you can find the link to MathWorld:
> http://mathworld.wolfram.com/SophomoresDream.html
> with an anticipated proof.
>
> Regards,
> Max
>
> On Fri, Nov 7, 2008 at 4:08 PM, Artur <grafix at csl.pl> wrote:
>> My question concerning on identity in title of A073009
>> Artur
>>
>> deutsch pisze:
>>> Dear Seqfans,
>>> I may have missed the original question.
>>> For both LHS and RHS, Maple, with the evalf command, gives
>>> 1.291285997.
>>> Now in OEIS look up 2,9,1,2,8,5 and click on the
>>> "clickables".
>>> Emeric
>>>
>>>
>>>
>>>
>>>> Dear Seqfans,
>>>> Who is able too proove following identity:
>>>> Sum[1/x^x,{x,1,Infinity}]=Integrate[1/x^x, {x, 0, 1}]
>>>> Best wishes
>>>> Artur
>>>>
>>>>
>>>>> result is pure luck.
>>>>>
>>>>>
>>>> _______________________________________________
>>>>
>>>> Seqfan Mailing list - http://list.seqfan.eu/
>>>>
>>>>
>>>
>>>
>>> _______________________________________________
>>>
>>> Seqfan Mailing list - http://list.seqfan.eu/
>>>
>>> __________ Information from ESET NOD32 Antivirus, version of virus signature database 3596 (20081107) __________
>>>
>>> The message was checked by ESET NOD32 Antivirus.
>>>
>>> http://www.eset.com
>>>
>>>
>>>
>>>
>>
>>
>> _______________________________________________
>>
>> Seqfan Mailing list - http://list.seqfan.eu/
>>
>
>
> _______________________________________________
>
> Seqfan Mailing list - http://list.seqfan.eu/
>

```