cp's OEIS Frontend

A204982 Least k such that n divides k!! - j!! for some j satisfying 1 <= j < k.

%I A204982 #10 Apr 15 2020 11:41:06
%S A204982 2,3,4,5,4,4,4,6,6,6,6,5,5,5,6,8,7,7,7,6,8,12,6,8,10,7,10,8,14,7,8,10,
%T A204982 6,7,9,10,12,10,9,6,8,8,15,12,6,6,6,8,11,11,7,7,17,10,12,8,7,16,9,9
%N A204982 Least k such that n divides k!! - j!! for some j satisfying 1 <= j < k.
%C A204982 See A204892 for a discussion and guide to related sequences.
%e A204982 Example 1. Using 1!! = 1, 2!! = 2, 3!! = 3, 4!! = 8, we verify that a(5) = 5 as follows: The values of 4!!-j!! for j = 1,2,3 are 7,6,5, respectively, so 5 divides 4!! - 3!!, and so for k = 4 there is a number j as required.  On the other hand, it is easy to check that for k = 1,2,3, there is no such j.
%e A204982 Example 2. To see that a(6) = 4, we already noted that 6 divides 4!!-2!! in Example 1, and it is easy to check that for k = 1,2,3, the number 6 does not divide k!! - j!! for any j satisfying 1 <=j < k.
%t A204982 s[n_] := s[n] = n!!; z1 = 400; z2 = 60;
%t A204982 Table[s[n], {n, 1, 30}]  (* A006882 *)
%t A204982 u[m_] := u[m] = Flatten[Table[s[k] - s[j], {k, 2, z1}, {j, 1, k - 1}]][[m]]
%t A204982 Table[u[m], {m, 1, z1}]  (* A204912 *)
%t A204982 v[n_, h_] := v[n, h] = If[IntegerQ[u[h]/n], h, 0]
%t A204982 w[n_] := w[n] = Table[v[n, h], {h, 1, z1}]
%t A204982 d[n_] := d[n] = First[Delete[w[n], Position[w[n], 0]]]
%t A204982 Table[d[n], {n, 1, z2}]     (* A204913 *)
%t A204982 k[n_] := k[n] = Floor[(3 + Sqrt[8 d[n] - 1])/2]
%t A204982 m[n_] := m[n] = Floor[(-1 + Sqrt[8 n - 7])/2]
%t A204982 j[n_] := j[n] = d[n] - m[d[n]] (m[d[n]] + 1)/2
%t A204982 Table[k[n], {n, 1, z2}]     (* A204982 *)
%t A204982 Table[j[n], {n, 1, z2}]     (* A205100 *)
%t A204982 Table[s[k[n]], {n, 1, z2}]  (* A205101 *)
%t A204982 Table[s[j[n]], {n, 1, z2}]  (* A205102 *)
%t A204982 Table[s[k[n]] - s[j[n]], {n, 1, z2}]     (* A205103 *)
%t A204982 Table[(s[k[n]] - s[j[n]])/n, {n, 1, z2}] (* A205104 *)
%Y A204982 Cf. A006882, A204892, A205104.
%K A204982 nonn
%O A204982 1,1
%A A204982 _Clark Kimberling_, Jan 22 2012
%E A204982 Edited by _Clark Kimberling_, Apr 15 2020