[Search for users] [Overall Top Noters] [List of all Conferences] [Download this site]

Conference rusure::math

Title:Mathematics at DEC
Moderator:RUSURE::EDP
Created:Mon Feb 03 1986
Last Modified:Fri Jun 06 1997
Last Successful Update:Fri Jun 06 1997
Number of topics:2083
Total number of notes:14613

968.0. "Looking for nothing" by AKQJ10::YARBROUGH (I prefer Pi) Fri Nov 04 1988 15:05

Here's a new (as far as I know) and obscure series-of-integers problem. 
What's the next number in the sequence?

1, 2, 3, 4, 5, 6, 9, 10, 11, 14, 31, ...

A large hint follows:


It has to do with factorials.

Another hint follows:


Conjecture: there is only one more number in the series.
T.RTitleUserPersonal
Name
DateLines
968.1I worked hard at it, but all for naughtAITG::DERAMODaniel V. {AITG,ZFC}:: D'EramoFri Nov 04 1988 20:2513
     Spoiler follows, so "next unseen" because you really do want
     to work on this one yourself.
     
     By the way, after you have solved it (or peeked, no more
     warnings) go back and look at the title of this topic.
     
     The only thing I noticed about the series is that it leaves
     out the numbers whose factorials in decimal have embedded
     zeroes.  So the numbers in the sequence have all of the
     non-zero digits before any/all of the zero digits in their
     factorial as written in base ten.
     
     Dan
968.2and then there is...AKQJ10::YARBROUGHI prefer PiMon Nov 21 1988 16:3010
Ah, but what is the next number in the sequence?

Author's intended solution follows:


 40! = 815915283247897734345611269596115894272000000000

I'm pretty sure that's the last factorial with only trailing zeroes.

Lynn 
968.3ELIS::GARSONV+F = E+2Tue Jan 29 1991 09:197
re .2

> 40! = 815915283247897734345611269596115894272000000000
>
>I'm pretty sure that's the last factorial with only trailing zeroes.
    
    Can you prove this? What was the evidence for the conjecture?
968.4TRACE::GILBERTOwnership ObligatesTue Jan 29 1991 13:0610
>    Can you prove this? What was the evidence for the conjecture?

The conjecture is true thru 200!, which is a 375-digit number that has 49
trailing zeroes.

Suppose that the 326 digits before the trailing zeroes in 200! were randomly
chosen.  What is the likelyhood that none of these is a zero?  About 0.9**326,
or 1.21x10**-15, which is pretty unlikely -- about one in a *quadrillion*.
For larger factorials, the `probability' of no zeroes quickly becomes more
remote.  Hence the conjecture.
968.5ELIS::GARSONV+F = E+2Tue Jan 29 1991 14:4220
>The conjecture is true thru 200!, which is a 375-digit number that has 49
>trailing zeroes.

    Assuming my program is correct, I verified it out to 2000! but that
    gives only empirical evidence.
    
>Suppose that the 326 digits before the trailing zeroes in 200! were randomly
>chosen.  What is the likelyhood that none of these is a zero?  About 0.9**326,
>or 1.21x10**-15, which is pretty unlikely -- about one in a *quadrillion*.
>For larger factorials, the `probability' of no zeroes quickly becomes more
>remote.  Hence the conjecture.
    
    Agreed. I haven't investigated the assumption that the digits are
    uniformly and independently distributed. I was just thinking it would
    be nice if someone could prove the conjecture. I looked at it briefly
    and couldn't see any promising lines of attack.
    
    An unrelated but illustrative example of where the above assumption
    fails is the distribution of the leading digit of powers of 2 (in base
    10). [An interesting problem in its own right.]
968.6Perhaps this is easierELIS::GARSONV+F = E+2Mon Feb 04 1991 09:1512
    re .*
    
    Perhaps the same problem but with the factorials expressed in binary is
    easier. The "no embedded zero" condition then becomes equivalent to
    finding (integer) solutions for
    
      m      n
    (2 - 1).2  = k!   
    
    which look like being k = 1,2,3,4,5 (m and n as appropriate).
                                                           m
    Any takers? I'm sure a lot is known about factorising 2 - 1.
968.7let me try to summarize what we're asking about zeroes in factorialsHANNAH::OSMANsee HANNAH::IGLOO$:[OSMAN]ERIC.VT240Mon Feb 04 1991 20:417

Are we asking:

	Are there any integers above 40 whose factorial contains NO
	embedded zeroes ?

968.8YesELIS::GARSONV+F = E+2Thu Feb 07 1991 09:106
    re .-1
    
    The base noter conjectured that in base 10 representation there are no
    such integers. This seemed too difficult so I am conjecturing that in
    base 2 there are no integers above 5 whose factorial contains NO embedded
    zeros.