A025653 - OEIS

A025653

Exponent of 5 (value of i) in n-th number of form 5^i*8^j.

0, 1, 0, 2, 1, 0, 3, 2, 1, 0, 4, 3, 2, 1, 5, 0, 4, 3, 2, 6, 1, 5, 0, 4, 3, 7, 2, 6, 1, 5, 0, 4, 8, 3, 7, 2, 6, 1, 5, 9, 0, 4, 8, 3, 7, 2, 6, 10, 1, 5, 9, 0, 4, 8, 3, 7, 11, 2, 6, 10, 1, 5, 9, 0, 4, 8, 12, 3, 7, 11, 2, 6, 10, 1, 5, 9, 0, 13, 4, 8, 12, 3, 7, 11, 2, 6, 10, 1, 14, 5, 9, 0, 13, 4, 8, 12, 3, 7, 11, 2

(list; graph; refs; listen; history; text; internal format)

OFFSET

1,4

LINKS

Amiram Eldar, Table of n, a(n) for n = 1..10000

Index entries for sequences which agree for a long time but are different.

FORMULA

a(n) = A112765(A025623(n)). - Amiram Eldar, Jul 09 2025

MATHEMATICA

With[{max = 10^11}, IntegerExponent[Sort[Flatten[Table[5^i*8^j, {i, 0, Log[5, max]}, {j, 0, Log[8, max/5^i]}]]], 5]] (* Amiram Eldar, Jul 09 2025 *)

CROSSREFS

Cf. A025623, A025673, A112765.