ExplorationsMultiplying the digits, and counting how many times it takes
How Long Can a Number Resist?
Start with a non-negative whole number written in base 10 and multiply its digits together, repeating until only one digit remains. For 39, the products are 27, 14 and 4, so it takes three rounds. Every start finishes, but it remains unknown whether any base-10Definition: Decimal notation writes numbers in base ten, using digits 0 through 9 and place values based on powers of ten. start needs twelve or more rounds.
Current view: One round
The digits being multiplied together, one at a time, with the running product shown.
- Round 13927
running product: 3, 27
- Round 22714
running product: 2, 14
- Round 3144
running product: 1, 4
39 reaches the single digit 4 after 3 rounds, so its multiplicative persistence is 3.
The same data as a table
| Round | Value | Digits multiplied | Result |
|---|---|---|---|
| 1 | 39 | 3 × 9 | 27 |
| 2 | 27 | 2 × 7 | 14 |
| 3 | 14 | 1 × 4 | 4 |
- tile
- one digit of the value being worked
- running product
- the combination so far, after each digit in turn
- result
- what the digits combine to, and the value of the next round
- round
- one application of the rule, drawn as a line
Each row is one round of the routine. The tiles along a row are the digits of the value being worked, and beneath them the running product after each digit has been multiplied in, so you can follow a single digit down to what it contributes. The last product on a row becomes the first value of the row below it, and the count on the left is how many rounds have happened. The routine stops when a row has one tile.
39 reaches the single digit 4 after 3 rounds of multiplying its digits.
- Rounds
- 3
- Digits now
- 1
- Rule
- Multiply
Starting value
Any whole number. The arithmetic is exact however wide it gets, which is what lets the fifteen-digit record holder be run here.
Step by step
Use Step for one change you can inspect, or Run to watch the changes accumulate.
How the digits are combined
Multiplying is the classical rule. Switch to adding to see the same iteration collapse within three rounds, which is the cleanest way to find out how much of the difficulty belongs to the multiplication.
Advanced parameters
The digits are a fact about the notation, so the count changes with the base. Try base 2, where no number can take more than one round.
Cases worth seeing
Try this
Sweep to 100,000 and note the record holders. Every one of them ends in a 9 or has a 9 in it somewhere. Why would a record holder avoid small digits, and why can it never contain a 0?
What is going on
Each explanation begins with a worked example and follows the same operation through intuition, formal statements and proofs. Later sections distinguish what is established from questions that remain open, so you can follow the level of detail useful to you.
- 6796 × 7 × 9378more than one digit, so go again
- 3783 × 7 × 8168
- 1681 × 6 × 848
- 484 × 832
- 323 × 26one digit left, after five rounds
The laboratory sets each of those lines out as a row of digit tiles with the running product beneath them, so a single digit can be followed down to what it contributes, and the last product on a row becomes the first value of the row below.
Look at the first line again. 679 has three digits and its product has three digits, so the round bought almost nothing, and yet the descent is guaranteed to end: a number with two or more digits is always strictly larger than the product of its digits. Every round loses ground. What nobody can say is how slowly a number is allowed to lose it. The smallest start needing eleven rounds has fifteen digits, and whether any number needs twelve is completely unknown.
What you are seeing
A plain description of the process
Write a non-negative whole number in base 10 and multiply its digits together. If the product still has more than one digit, repeat with that product. The number of rounds needed to reach one digit is its multiplicative persistenceDefinition: Multiplicative persistence counts how many rounds of multiplying decimal digits are needed to reach one digit..
For 39, calculate 3 × 9 = 27, then 2 × 7 = 14, then 1 × 4 = 4. This gives three rounds. A single-digit start already meets the stopping condition and needs zero rounds; a multi-digit start containing a zero reaches zero in one round.
Every start eventually finishes because a multi-digit number is larger than the product of its digits. That does not give a uniform upper bound on the number of rounds for arbitrarily long inputs.
The record examples let you inspect five rounds from 679, seven from 68,889 and eleven from 277,777,788,888,899. Whether any base-10Definition: Decimal notation writes numbers in base ten, using digits 0 through 9 and place values based on powers of ten. start needs twelve or more rounds remains an open question.
Why it starts to make sense
Intuition, before any algebra
Two forces pull against each other, and watching them is most of the intuition.
Multiplying digits is a shrinking operation. Nine digits, each at most 9, multiply to at most 99, which is nine digits' worth of number squeezed into nine digits of product at the very best and usually far fewer. A number and its digit product are not close.
But shrinking is not the same as shrinking fast. A digit 1 costs nothing at all: it leaves the product untouched. Small digits are nearly as cheap. So a number that wants to survive many rounds wants large digits, many of them, and above all it must contain no 0, because a single 0 collapses the whole product to 0 in one round and the routine is over.
That is why the record holders look the way they do. Run the sweep and read them: 679, 6788, 68889, 2677889. Sevens, eights and nines, no zeros, no ones, and each rung about ten times the size of the one before. Every extra round seems to cost roughly one more digit. Nobody has been able to turn that observation into an argument in either direction.
The key idea
A proofDefinition: A proof is a finite argument showing that a conclusion follows from stated assumptions. of terminationDefinition: Termination means that a process reaches an accepted end condition after finitely many steps. that proves nothing about length
Here is the sentence this page exists to make impossible to misread.
That the routine always finishes is proved. How long it can take is completely open. Those are different questions, and settling the first says nothing whatever about the second.
The proofDefinition: A proof is a finite argument showing that a conclusion follows from stated assumptions. of terminationDefinition: Termination means that a process reaches an accepted end condition after finitely many steps. is three lines and appears in the next layer but one. It works by showing each round strictly decreases the value, and a strictly decreasing sequenceDefinition: A sequence is an ordered list of values, usually indexed by whole numbers. of non-negative integersDefinition: An integer is a whole-number value, including zero and negative whole numbers, with no fractional part. has to stop. Notice what that argument never mentions: how much smaller. It would be equally happy with a routine that shed one unit per round and took a hundred trillion of them.
So the natural next question, "how many rounds can a number need", is untouched by the proofDefinition: A proof is a finite argument showing that a conclusion follows from stated assumptions., and after fifty years it remains untouched by anything else. Published searches have gone to 1015 and found nothing needing more than eleven rounds. This page does not repeat that search; it uses two small lemmas to reach the fifteen-digit record holder directly, and cites the larger search for what it is.
A search that finds nothing is not an argument that there is nothing. It is a description of where somebody looked.
Formal statement
Precisely what is being claimed
Fix a base . For written in base with digits , let
The multiplicative persistenceDefinition: Multiplicative persistence counts how many rounds of multiplying decimal digits are needed to reach one digit. is the least with , that is, the number of rounds needed to reach a single digit.
- is finite for every and every . Proved.
- for every . Proved.
- , and for every with at most 15 digits. Exhaustively checked over the stated range.
- Whether there exists with is open.
Statement 1 is the one that makes the page a page: a routine that provably terminates, with no known bound at all on how long terminationDefinition: Termination means that a process reaches an accepted end condition after finitely many steps. takes.
Proof
Of the parts that admit one
The routine terminates. Let have base- digits with and . Then
because each of is at most . So every round applied to a number of two or more digits produces a strictly smaller non-negative integerDefinition: An integer is a whole-number value, including zero and negative whole numbers, with no fractional part., and no strictly decreasing sequenceDefinition: A sequence is an ordered list of values, usually indexed by whole numbers. of non-negative integers is infinite. The routine therefore reaches a single digit after finitely many rounds. ∎
In base 2 it finishes in one round. Every binary digitDefinition: A bit is a binary digit, either 0 or 1. is 0 or 1. A number with binary digits either contains a 0, giving , or is written entirely with 1s, giving . Both are single digits, so . ∎
The search for record holders can be cut down. Two observations, both used by this page and both cheap. First, depends only on the multiset of digits, and among all arrangements of a fixed multiset the smallest number is the one whose digits ascend; so only non-decreasing digit strings need testing. Second, if has digits one of which is 1, deleting that 1 gives a smaller number with the same digit product and hence the same persistence, and any containing a 0 has ; so a smallest example of persistence 2 or more contains no 0 and no 1. That reduces the fifteen-digit search from candidates to a few hundred thousand. ∎
What is not proved, and why the gap is not technical. The first proofDefinition: A proof is a finite argument showing that a conclusion follows from stated assumptions. gives no bound on . To show that no number has persistence 12 you would have to constrain infinitely many digit strings at once, and the only structure available is that the product of the digits has to land, round after round, on another number with no 0 among its digits. Nobody has found a way to turn that into a bound, and nobody has found a number that needs twelve rounds.
Limits and frontier
Where this page stops being able to help
What this laboratory computes. Runs are exact at every width, in arbitrary-precision integersDefinition: An integer is a whole-number value, including zero and negative whole numbers, with no fractional part., because the record holder is fifteen digits wide and the natural thing to type after seeing it is something wider. The sweep counts rounds for every start up to a hundred thousand. The record ladder is not swept at all: it is found by enumerating non-decreasing digit strings, which is the only reason a browser can reach fifteen digits.
What this laboratory does not compute. The published bound of 1015 is cited, not reproduced. This page rules out persistence 12 among fifteen-digit numbers whose digits ascend; ruling it out among all numbers below 1015 is a much larger computation, and it is somebody else's. The claim ledger keeps those two apart deliberately, and if you read only one line of it, read that one.
Read this next to happy numbers. The rules are near neighbours, squares of digits against a plain product of them, and the mathematics could hardly be more different. Happy numbers cannot escape a finite region, so enumerating that region settles every question about them and the answers are proofsDefinition: A proof is a finite argument showing that a conclusion follows from stated assumptions.. Multiplicative persistenceDefinition: Multiplicative persistence counts how many rounds of multiplying decimal digits are needed to reach one digit. has no finite region: the values fall, but the starts run off to infinity and no computation can follow them.
That is the useful thing to leave with. A proofDefinition: A proof is a finite argument showing that a conclusion follows from stated assumptions. that a process ends and a bound on how long it takes are separate results, and having the first is no evidence at all about the second. Fifty years of searching has produced eleven rounds and no argument, which is exactly what "open" means.
What is actually established
Every statement on this page, with its status, its exact scope, and the date that status was last checked.
Repeatedly multiplying a number’s digits always reaches a single digit, after finitely many rounds.
- Scope
- Every non-negative integer, in every base of 2 or more.
- Why
- A number with at least two digits is at least d·b^(k−1), where d is its leading digit and k its digit count, while the product of its digits is at most d·(b−1)^(k−1). The second is strictly smaller than the first, so every round produces a strictly smaller value, and a strictly decreasing sequence of non-negative integers cannot continue forever. This is the whole proof, and it is worth noticing how little it says: it establishes that the descent ends without offering any bound at all on how long it takes.
- Status checked
The smallest number with multiplicative persistence 11 is 277,777,788,888,899, and no number of fifteen digits or fewer needs more than 11 rounds.
- Scope
- Base-10 numbers of at most 15 digits, searched in this browser by enumerating every non-decreasing digit string over the digits 2 to 9.
- Why
- The search is smaller than it sounds, for two reasons that are both proved rather than assumed. Rearranging digits does not change their product, and among all arrangements of one digit multiset the smallest number is the one whose digits ascend, so only non-decreasing strings need testing. And a digit 1 can be deleted without changing the product, while a digit 0 sends the product to 0 in one round, so a record holder contains neither. What remains is a few hundred thousand candidates rather than 10^15 of them.
- Computation (exact)
- Exact integer arithmetic throughout, using arbitrary-precision integers: the record holder is fifteen digits wide and its first product is thirteen. Every non-decreasing digit string over 2 to 9 of length up to 15 was enumerated, and the result was checked against a brute-force sweep of every start below 100,000 and against a second implementation working on digit strings with no arbitrary-precision arithmetic in it. Algorithm persistence-1.
- Status checked
The smallest number needing each number of rounds, up to eleven, is 10, 25, 39, 77, 679, 6788, 68889, 2677889, 26888999, 3778888999, 277777788888899.
- Scope
- Base-10 numbers of at most 15 digits, by the same enumeration as the claim above. Each rung is the smallest number anywhere with that persistence, not merely the smallest one a sweep happened to reach.
- Why
- Read as a sequence of sizes rather than of numbers, the ladder runs 10, 25, 39, 77, 679, 6,788, 68,889, 2,677,889, 26,888,999, 3,778,888,999, 277,777,788,888,899. Each rung is roughly ten times the one before it, which is the honest reason a search stops: one more round costs one more digit, and the twelfth rung, if it exists, is somewhere a sweep cannot go.
- Computation (exact)
- Exact integer arithmetic over every non-decreasing digit string of at most 15 digits over the digits 2 to 9, recomputed in the test suite and cross-checked against a brute-force sweep below 100,000. Algorithm persistence-1.
- Status checked
Published searches have found no number below 10^15 with multiplicative persistence greater than 11.
- Scope
- Base-10 numbers below 10^15, checked by published searches. This is not a computation this page performs: the widest range this page exhausts is fifteen-digit numbers whose digits do not decrease.
- Why
- The distinction matters more than the number does. This page can reach the fifteen-digit record holder because two lemmas cut the search down to a few hundred thousand candidates, all of them with ascending digits. A search that rules out every number below 10^15, ascending digits or not, is a different and much larger computation, and it is cited here rather than reproduced.
- Computation (exact)
- The bound belongs to the cited searches, not to this browser. Nothing on this page checks 10^15 of anything.
- Status checked
Whether any number has multiplicative persistence 12 or more is unresolved.
- Scope
- All positive integers in base 10, over all of the infinitely many numbers no search has reached.
- Why
- No number needing twelve rounds has ever been exhibited, and no argument rules one out. The termination proof gives no bound whatever on the number of rounds, so the two possibilities are wide open: either a first example is sitting above every range yet searched, or some argument nobody has found forbids it. A finite search that stops at 10^15 is evidence about numbers below 10^15 and nothing else.
- Status checked
In base 2, no number has multiplicative persistence greater than 1.
- Scope
- Base 2, every non-negative integer.
- Why
- Every binary digit is 0 or 1. A number written with two or more binary digits either contains a 0, in which case the product of its digits is 0, or consists entirely of 1s, in which case the product is 1. Either way the next value is a single digit, so one round always finishes it. This is the sharpest thing on the page about how much of the phenomenon belongs to base 10 rather than to numbers.
- Status checked
If the digits are added rather than multiplied, no number of fifteen digits or fewer needs more than 3 rounds.
- Scope
- Base-10 numbers of at most 15 digits, with the digits added rather than multiplied.
- Why
- The digit sum of a fifteen-digit number is at most 135, the digit sum of anything up to 135 is at most 18, and the digit sum of anything up to 18 is at most 9. Three rounds, from the top, for every such number. The smallest requiring all three is 199. Kept in the ledger because it is the cleanest available answer to "is this hard because you iterated something": no, it is not.
- Status checked
Sources
Review notes show which bibliographic details Mathomaly has checked and which remain unresolved. Checking a publication record does not independently verify its proof.
- N. J. A. Sloane, The persistence of a number, Journal of Recreational Mathematics 6(2), pp. 97–98, 1973. Link
Where the quantity is named and the first search is reported.
Bibliographic record checked. This is not an independent verification of the proof.
Bibliographic review:
AI-assisted bibliographic audit. Evidence type: source text.
Author-hosted original confirms title, author, 1973 and journal volume 6(2), pages 97–98.
- A003001 - Smallest number of multiplicative persistence n, The On-Line Encyclopedia of Integer Sequences. Link
The record ladder: 0, 10, 25, 39, 77, 679, 6788, 68889, 2677889, 26888999, 3778888999, 277777788888899. The entry stops there, and records that searches past 10^15 have added nothing to it.
Bibliographic record checked. This is not an independent verification of the proof.
Bibliographic review:
AI-assisted bibliographic audit. Evidence type: source text.
Checked the sequence identifier, definition and displayed initial terms on the database entry.
- A031346 - Multiplicative persistence of n, The On-Line Encyclopedia of Integer Sequences. Link
The step count for every starting value, used to check this page’s sweep against a published listing.
Bibliographic record checked. This is not an independent verification of the proof.
Bibliographic review:
AI-assisted bibliographic audit. Evidence type: source text.
Checked the sequence identifier, definition and displayed initial terms on the database entry.
Discusses the open question of a universal bound on multiplicative persistence. The laboratory's finite search cannot decide it.
Bibliographic record checked. This is not an independent verification of the proof.
Bibliographic review:
AI-assisted bibliographic audit. Evidence type: publisher record.
Publisher confirms the author, third edition and 2004 print publication. This check does not verify every section attribution.
Related by mechanism
Connected by how they work, not by sharing a topic label.