%I #52 Feb 06 2021 21:50:27
%S 1,7,26,23,34,53,118,167,188,69,178,179,372,349,374,375,376,377,498,
%T 499,356,501,502,503,1284,1285,746,747,748,749,1038,1039,1112,753,754,
%U 755,2136,2137,2138,2139,2140,2141,2562,2443,1484,2445,1486,1487,2568,2569,2570,2571,2572,2573,2934,2575
%N Smallest k such that when k is divided by all numbers <= k the remainder n occurs most often.
%C Number of row in A072528 where it happens first that the n-th column contains the maximum value in the row. - _Ralf Stephan_, Oct 21 2013
%C Any nonnegative integer n is the most common remainder during dividing m by all numbers not exceeding m for infinitely many different positive integers m.
%C Ties for most common are not allowed. Thus a(1) is not 5, although 0 and 1 both occur twice among 5 mod 1 to 5 mod 5. - _Robert Israel_, May 10 2020
%C Vladimir Letsko (see Letsko Link) asks if a(2013) exists (paraphrasing his question) without asking its value. Indeed, for m = 526173 we have T(m, 2013) = 68 where 68 is the largest value of T(526173, k) for k >= 0 and T as defined in A072528. - _David A. Corneth_, May 12 2020
%H David A. Corneth, <a href="/A230399/b230399.txt">Table of n, a(n) for n = 0..10080</a> (first 468 terms from Robert Israel)
%H Vladimir Letsko, <a href="http://www-old.fizmat.vspu.ru/doku.php?id=marathon:problem_181">Mathematical Marathon, Problem 181</a> (in Russian).
%e a(1) = 7 because
%e (1) 7 mod 2 = 7 mod 3 = 7 mod 6 = 1 and the other remainders occur fewer times;
%e (2) 7 is the least number k for which r = k mod b yields the remainder r=1 for more bases b < k than any other remainder.
%p maxrem:=proc(n) local r,n1,i,mx,M,R;n1:=`if`(n mod 2 = 0, n/2-1,(n-1)/2);
%p R:=Array(0..n1,fill=1):
%p if n mod 2 = 0 then R[0]:=2 fi:
%p for i to n1 do r:=n mod i: R[r]:=R[r]+1 od:
%p mx:=R[0]:M:={0}:
%p for i to n1 do
%p if R[i]> mx then mx:=R[i]:M:={i} elif mx=R[i] then M:=M union {i} fi od:
%p M; end;
%p Rs:={0}:S:=[[0,1]]:for n to 6000 do r:=maxrem(n):if nops(r)=1 then r:=op(r):
%p if not member(r,Rs) then Rs:=Rs union {r}:S:=[op(S),[r,n]] fi fi od:
%p S:=sort(S);
%p T:=[]:for i to nops(S) do if S[i,1]=i-1 then T:=[op(T),S[i,2]] else break fi od:T;
%t a[n_] := Module[{k, rems}, For[k = 1, True, k++, rems = SortBy[Tally[Mod[k, Range[k]]], Last]; If[rems[[-1, 1]] == n && rems[[-1, 2]] != rems[[-2, 2]], Print[n, " ", k]; Return[k]]]];
%t a[0] = 1;
%t a /@ Range[0, 100] (* _Jean-François Alcover_, Jun 18 2020 *)
%o (PARI) record(n)=v=vector(n+1); for(d=1,n, t=(n%d)+1; v[t]=v[t]+1); m=0; p=0; for(i=1,n,if(v[i]>m, m=v[i]; p=i));p
%o for(n=1,100, for(j=1,10^6, if(record(j)==n, print1(j,", "); break))) \\ _Ralf Stephan_, Oct 21 2013
%Y Cf. A230374, A002182, A072528.
%K nonn,look
%O 0,2
%A _Vladimir Letsko_, Oct 18 2013
|