[seqfan] A079039(8), decreasing trunc(cosh(n))

[Richard Mathar]

I'd argue that the a(8) in www.oeis.org/classic/A079039 is 275 (not 863)
and that the next term a(9) > 33500, right?
This seems to be supported by the PARI code in the database, and a by
a Maple implementation like

Digits :=120 ;
A079039 := proc(n)
        option remember;
        if n = 0 then
                return 1 ;
        end if;
        k := 1;
        prevmin := frac(cosh(procname(n-1))) ;
        k := n+ 1;
        while evalf(frac(cosh(k))-prevmin) >= 0 do
                k := k+1 ;
                if k mod 500 = 0 then
                        print("...",k) ;
                end if;
        end do;
        k ;
end proc:
for n from 0 do
        print( A079039(n)) ;
end do;