buglist bug 7254: f==n+->sum(sum(1/i,i=1..j),j=1..n) complains

(1) -> f==n+->sum(sum(1/i,i=1..j),j=1..n)
                                                                   Type: Void
(2) -> f(1)
   There are 6 exposed and 2 unexposed library operations named sum
      having 2 argument(s) but none was determined to be applicable.
      Use HyperDoc Browse, or issue
                               )display op sum
      to learn more about the available operations. Perhaps
      package-calling the operation or using coercions on the arguments
      will allow you to apply the operation.
   Cannot find a definition or applicable library operation named sum
      with argument type(s)
          Union(Fraction(Polynomial(Integer)),Expression(Integer))
                       SegmentBinding(PositiveInteger)

      Perhaps you should use "@" to indicate the required return type,
      or "$" to specify which version of the function you need.
   AXIOM will attempt to step through and interpret the code.

   (2)  1
                                                    Type: Expression(Integer)