You're reading: Integer Sequence Review

Integer sequence review: A193430

The Online Encyclopedia of Integer Sequences contains over 200,000 sequences. It contains classics, curios, thousands of derivatives entered purely for completeness’s sake, short sequences whose completion would be a huge mathematical achievement, and some entries which are just downright silly.

For a lark, David and I have decided to review some of the Encyclopedia’s sequences. We’re rating sequences on four axes: NoveltyAestheticsExplicability and Completeness.

This is the triumphant return of the integer sequence reviews!

Primes p such that p+1 is in A055462.

23, 6911, 5944066965503999, ...

Christian: Superduperfactorial primes! Primes which are one more than a superduperfactorial. Which are super duper.

David: I don’t believe there are infinitely many of them. How do you prove that?

Christian: Umm..

David: It says “the next term, if it exists”! So there isn’t a next term. Or there might be.

Christian: Shall we just go through the categories.

David: Right. What’s the first one? Explicability?


David: What’s a superduperfactorial? And more importantly, what’s the next one going to be called? I vote for superduperlooperfactorial. It’s what Santa does in Santa Claus The Movie. He catches Patch.

Christian: Patch?

David: I’ve never understood that bit. Apparently the only way to catch Patch is by doing a loop.

Christian: Maybe he can change his trajectory’s radius of curvature but not his velocity?

David: Santa can teleport as well. So I don’t understand why he’s using the sleigh at that point in the movie.

Christian: We’re no closer to understanding what a superduperfactorial is.

David: Ah! Superduperlooperfactorials are in the OEIS (A057527), but they’re called “fourth level factorials”.

Christian: I prefer your coinage. Let’s make an edit. Anyway, WHAT IS A SUPERDUPERFACTORIAL DAVID?

David: The $n$th superduperfactorial is the product of the first $n$ superfactorials.

Christian: And a superfactorial is…

David: The product of the first $n$ factorials.

Christian: … which is the product of the first $n$ natural numbers. (If $0$ is unnatural, which it isn’t)

David: Ooh, I wonder if there’s a version of $\Gamma$ for superduperfactorials.

Christian: Well, one exists, but how’s it defined?

David: Did you know that $\Gamma$ is the only locally convex continuous function which agrees with the factorials?

Christian: I suppose I’d always assumed it, but it’s good to know.

David: The derivation is bananas. You take $\sin$ and put your hand over half the zeroes, then you take $e$ to the $\gamma$, where $\gamma$ is the Euler-Mascheroni constant, and times that by something so $\Gamma(1)=1$, then pull a bunny out of a hat.

Christian: I will never understand analysis. And I also move to give this $\frac{1}{5}$ for Explicability.

David: We haven’t even described what the sequence is yet, Christian. It’s about primes.

Christian: OK, this sequence is the primes that are one less than a superduperfactorial number.

David: I’m surprised that $n!-1$ won’t always factorise. Because $n-1$ usually factorises.

Christian: That’s among the worst things I’ve heard today.

David: Yeah, well $x^2-1$ always factorises. $2^n-1$ always factorises, if $n$ isn’t prime.

Christian: Yeesh. We had a nice explanation a few lines up, and now you’re conjecturing like a loon again. Explicability score? I reckon 4.

David: Well it is very explicable, but I think we’ve done such a bad job of explaining it that it only deserves 1 or 2.

Christian: Let’s be generous.

\[ \frac{2}{5} \]


Christian: Well, apart from the obvious prior art in Disney’s Mary Poppins, I think this is new to me.

David: I think it’s pretty novel. Well, I think the elements are pretty novel.

Christian: In that you haven’t seen $5944066965503999$ in the wild before?

David: I’m just googling the OEIS to see if it appears in another sequence.

Christian: “googling the OEIS”.

David: It only appears in the one that this one is a subset of (A238265) I think it appears in A000027 too, but they don’t give enough terms to be sure.

Christian: It definitely is. But that shouldn’t affect this sequence’s Novelty score. We’ve been down that crazy-paved road before.

David: I think it’s novel but not fully five-points novel because we’ve already seen similar sequences with a few primes which grow very very fastly and may or may not be infinite.

Christian: Agreed, apart from “fastly”.

David: Good word.

Christian: Bad David. $\frac{3}{5}$?

David: Uhh, yep.

\[ \frac{3}{5} \]


Christian: I quite like the fourth term.

David: There are lots of double digits. It’s a pretty number. And 23 is a good number, because that’s the number Michael Jordan used to play for the Chicago Bulls. I’ve been watching a lot of basketball history documentaries recently. That’s what TV is in America, apparently.

Christian: Truly a great cultural gift to the world. I also like the name of this sequence, or really, the name of the things this is one less than.

David: You typed my point while I was saying it.

Christian: So do the comely looks of the superduperfactorials rub off on this one? As usual, we’re reviewing the wrong sequence.

David: We’ve been doing this for ages. Surely we know better.


David: That’s pretty cool!

Christian: I feel benevolent. $\frac{5}{5}$?

David: Yep.

\[ \frac{5}{5} \]


Christian: No. None. We have four terms, don’t know if there are any more, and –

David: What did we give the Wieferich primes? Because the way we normally do this is, we look at a similar sequence and award the opposite of whatever we gave that.

Christian: Let’s double-triple-quadruple guess ourselves and make up a number.

\[ \frac{3.143}{5} \]

David: Bet you thought we were going for $\pi$ there!

Christian: Loser!

Total score

David: Aww, are we done already? I was just starting to have fun.

Christian: Sadly yes, but we’ve fitted quite marvellously in the time I had allotted before pre-MathsJam Micky D’s.

Christian: And now, the scores:

\[ \frac{2+3+5+3.143}{20} = \frac{13.143}{20} = \frac{13143}{20000} \]

Christian: Well done picking a number which is coprime with everything, David.

David: If you write $13143$ in base $5$ and times by $2$ and write that in base $5$, then they’re anagrams of each other.

<Christian whimpers>

David: That is sequence A023061.

Christian: I have no words.

David: I think that’s the true sequence of the day. And I think we should award it the March 2014 Integer Sequence Royal Celebrity Knockout champion. I trust you’ll have the trophy ready when I come back.

Christian: Your trust is well-placed.

David: Sometimes I read these back and I think they’re the stupidest thing in the world.

Christian: That’s a good thought to end on.

One Response to “Integer sequence review: A193430”

  1. Avatar Anonymous

    It’s a bit fiddlier than that: $\Gamma$ is the unique locally convex function satisfying $\Gamma(x+1) = x \Gamma x$ and $\Gamma (1) = 1$.

    You could make a convex interpolation of factorial by taking its lower convex hull, and then there are ways to modify that to get more smoothness if you really want it.


(will not be published)

$\LaTeX$: You can use LaTeX in your comments. e.g. $ e^{\pi i} $ for inline maths; \[ e^{\pi i} \] for display-mode (on its own line) maths.

XHTML: You can use these tags: <a href="" title=""> <abbr title=""> <acronym title=""> <b> <blockquote cite=""> <cite> <code> <del datetime=""> <em> <i> <q cite=""> <s> <strike> <strong>