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.)

How the state got here

0 of 6 recorded
  1. Prior stateNone retained
  2. WorkNo submitted work retained
  3. VerificationNo check retained
  4. DecisionNo Repository has decided
  5. StandingNothing recorded here
  6. Next gapNot recorded

Result history

Published changes, performers, checks, and later corrections.

No result history yet
No proposed change is retained for this Problem, so there is nothing to show a decision on.

Correction history

No correction history

Technical detailsExact roots, source, and retained record identifiers

Exact provenance

Problem row
sha256:bf0c937a548aa2d81fdc98dfcaee2aeb64f0c462047f2b26563b38c999d209a2
Metadata
sha256:25765849aca0c86d3d79f4ea71d7fad4fda6cefcafc8b3612c5615ae2b2b76e2
Observation
sha256:9c8326e865b6017b103af7611c852a06776d81964979b8ab5a1b800cd550dff6
Content
sha256:aeb2bdae54fc346b7b6f59da9a35346f9bdbbb2c590482d08a28fa7101df438f
Repository
sha256:a956b84c437202e5a02cc9e036a621bd14a302b34a75758115730bdbb77c52a4
Projection
sha256:a4a96441668a9f8b33afbcb3f696a2639f5fae145f36ddc063d7f67d5fb87ce8
Source commit
36c6d0fef71a3fec84d9dcd5eeca4e22e378f7cb