Daniel Lakeland <dlakelan <at> street-artists.org> writes:
>
> On Tue, Dec 12, 2006 at 02:09:27PM +0000, miguel lopez wrote:
>
> > I think that there is a long life for mathematician,
>just not to be replaced by a computer program :).
> >
> > Best wishes to the list.
>
> Indeed. I think it should be possible to prove that:
if
> integral(f(x),x,0,inf) diverges then
integral(periodic_function(x) * f(x)) should also diverge.
but I haven't tried yet.
>
> In any case, I'll file this as a bug ...
>
You can not prove it: it is false:
f(x) = 1/x diverge, f(x) * sin(x) = sin(x)/x converge.
(30 seconds time in ultramaxima code, to discover this :)