Skip to content

Erdős problem 291

More generally, if the leading digit of nn in base pp is p−1p-1 then p∣(an,Ln)p\mid (a_n,L_n). There is in fact a necessary and sufficient condition: a prime p≤np\leq n divides (an,Ln)(a_n,L_n) if and only if pp divides the numerator of 1+⋯+1k1+\cdots+\frac{1}{k}, where kk is the leading digit of nn in base pp. This can be seen by writing an=Ln1+⋯+Lnna_n = \frac{L_n}{1}+\cdots+\frac{L_n}{n} and observing that the right-hand side is congruent to 1+⋯+1/k1+\cdots+1/k modulo pp. (The previous claim about p−1p-1 follows immediately from Wolstenholme's theorem.)

Nothing has been recorded here yet.

How far the record reaches3 of 6 stages
  1. Sourceerdos-problems
  2. StatementRetained
  3. Formal8 retained
  4. ResolutionNone filed
  5. WorkNone recorded
  6. DecisionNone here
  7. The questionNot reached
What this record is missingResolution

No source retained here records an outcome for this question.

Its collection still marks it open.

Where the source files it575 share a topic
Erdős problem 321accepted
Carrying a Standing. Browse the topic.