A085152 -id:A085152 - cp's OEIS frontend

A147643 Numbers A associated with the records of the merit function of the ABC conjecture admitting only C which are powers of 23.

7, 17, 162, 2

Offset: 1

Artur Jasinski, Nov 09 2008

If records of the ABC merit function are listed scanning only parameters C of the form 23^x as described in A147642, a(n) is the value of A associated with B=A147641(n) and C=A147642(n).

OEIS Index entries for sequences related to the abc conjecture.

Cf. A085152, A085153, A147298-A147307, A147638-A147642.

a(n) = A147642(n)-A147641(n).

Edited by M. F. Hasler, Jan 16 2015

A074399 a(n) is the largest prime divisor of n(n+1).

Original entry on oeis.org

2, 3, 3, 5, 5, 7, 7, 3, 5, 11, 11, 13, 13, 7, 5, 17, 17, 19, 19, 7, 11, 23, 23, 5, 13, 13, 7, 29, 29, 31, 31, 11, 17, 17, 7, 37, 37, 19, 13, 41, 41, 43, 43, 11, 23, 47, 47, 7, 7, 17, 17, 53, 53, 11, 11, 19, 29, 59, 59, 61, 61, 31, 7, 13, 13, 67, 67, 23, 23, 71, 71, 73, 73, 37, 19

Offset: 1

N. J. A. Sloane, Nov 29 2002

Størmer shows that a(n) tends to infinity with n. Pólya generalized this result to other polynomials.
Kotov shows that a(n) >> log log n. - Charles R Greathouse IV, Mar 26 2012
Keates and Schinzel give effective constants for the above; in particular the latter shows that lim inf a(n)/log log n >= 2/7. - Charles R Greathouse IV, Nov 12 2012
Erdős conjectures ("on very flimsy probabilistic grounds") that for every e > 0, a(n) < (log n)^(2+e) infinitely often, while a(n) < (log n)^(2-e) only finitely often. - Charles R Greathouse IV, Mar 11 2015

S. V. Kotov, The greatest prime factor of a polynomial (in Russian), Mat. Zametki 13 (1973), pp. 515-522.
K. Mahler, Über den größten Primteiler spezieller Polynome zweiten Grades, Archiv for mathematik og naturvidenskab 41:6 (1934), pp. 3-26.
Georg Pólya, Zur arithmetischen Untersuchung der Polynome, Math. Zeitschrift 1 (1918), pp. 143-148.

Charles R Greathouse IV, Table of n, a(n) for n = 1..10000
P. Erdős, Problems and results on number theoretic properties of consecutive integers and related questions, Proceedings of the Fifth Manitoba Conference on Numerical Mathematics (Univ. Manitoba, Winnipeg, Man., 1975), Congress. Numer. XVI , pp. 25-44, Utilitas Math., Winnipeg, Man., 1976.
M. Keates, On the greatest prime factor of a polynomial (1968), pp. 301-303.
Hector Pasten, The largest prime factor of n^2+1 and improvements on subexponential ABC, arXiv:2312.03566 [math.NT] (2024)
A. Schinzel, On two theorems of Gelfond and some of their applications, Acta Arithmetica 13:2 (1967-1968), pp. 177-236.
Carl Størmer, Quelques théorèmes sur l'équation de Pell x^2 - Dy^2 = +-1 et leurs applications (in French), Skrifter udgivne af Videnskabsselskabet i Christiania: Mathematisk-naturvidenskabelig Klasse (1897).

With A037464, the bisections of A076605.
Essentially the same as A069902.
Positions of primes <= p: A085152 (p=5), A085153 (p=7), A252494 (p=11), A252493 (p=13), A252492 (p=17).
Last position of each prime: A002072.

Table[ Last[ Table[ # [[1]]] & /@ FactorInteger[n^2 - 1]], {n, 3, 160, 2}]
Table[FactorInteger[n(n+1)][[-1,1]],{n,80}] (* Harvey P. Dale, Sep 28 2021 *)

gpf(n)=my(f=factor(n)[,1]); f[#f]
a(n)=if(n<3, n+1, max(gpf(n),gpf(n+1))) \\ Charles R Greathouse IV, Sep 14 2015

a(n) = Max (A006530(2n), A006530(2n+2)).

Pasten proves that a(n) >> (log log n)^2/(log log log n), see Corollary 1.5. - Charles R Greathouse IV, Oct 14 2024

Extended by Robert G. Wilson v, Dec 02 2002

A252493 Numbers n such that n(n+1) is 13-smooth. (Related to the abc conjecture.)

Original entry on oeis.org

1, 2, 3, 4, 5, 6, 7, 8, 9, 10, 11, 12, 13, 14, 15, 20, 21, 24, 25, 26, 27, 32, 35, 39, 44, 48, 49, 54, 55, 63, 64, 65, 77, 80, 90, 98, 99, 104, 120, 125, 143, 168, 175, 195, 224, 242, 324, 350, 351, 363, 384, 440, 539, 624, 675, 728, 1000, 1715, 2079, 2400, 3024, 4095, 4224, 4374, 6655, 9800, 10647, 123200

Offset: 1

M. F. Hasler, Jan 16 2015

Equivalently: Numbers n such that all prime factors of n and n+1 are <= 13, i.e., both are in A080197.
This sequence is complete by a theorem of Stormer, cf. A002071.
This is the 6th row of the table A138180. It has 68=A002071(6)=A145604(1)+...+ A145604(6) terms and ends with A002072(6)=123200. It is the union of all terms in rows 1 through 6 of the table A145605.
Contains A085152, A085153, A252494 as subsequences.

Abderrahmane Nitaj, The ABC conjecture homepage
OEIS Index entries for sequences related to the abc conjecture

Cf. A002071, A145604, A138180, A145605, A002072, A085152, A085153, A252493, A252492.

N:= 130000: # to get all entries <= N
f:= proc(n)
uses padic;
evalb(2^ordp(n,2)*3^ordp(n,3)*5^ordp(n,5)*7^ordp(n,7)*11^ordp(n,11)*13^ordp(n,13) = n)
end proc:
L:= map(f, [$1..N+1]):
select(t -> L[t] and L[t+1], [$1..N]); # Robert Israel, Jan 16 2015

Select[Range[123456], FactorInteger[ # (# + 1)][[ -1,1]] <= 13 &]

for(n=1,123456, vecmax(factor(n++,13)[,1])<17 && vecmax(factor(n--+(n<2),13))<17 && print1(n",")) \\ Skips the next n if n+1 is not 13-smooth: Twice as fast as the naïve version. Instead of vecmax(.)<17 one could use is_A080197().

A143700 a(n) is the least odd number m minimizing A007947(m*(2^n-m)).

Original entry on oeis.org

1, 1, 1, 1, 5, 1, 3, 13, 169, 25, 243, 375, 11, 49, 7, 3, 18225, 71875, 4913, 1701, 144027, 1825, 3483, 2197, 9156027, 131989, 1103, 5103, 38525, 458703, 1523, 3483891, 19283525

Offset: 1

Artur Jasinski, Nov 10 2008

Smallest odd number a(n) such that product of distinct prime divisors of (2^n)*a(n)*(2^n - a(n)) is the smallest available for a(n) <= 2^x - a(n) < 2^x.
Product of distinct prime divisors of (2^n)*a(n)*(2^n - a(n)) is also called radical: rad((2^n)*a(n)*(2^n - a(n))).
For numbers 2^n - a(n) see A143701.
For minimal values of rad((2^n)*a(n)*(2^n - a(n))) see A143702.
Related to the abc conjecture. - M. F. Hasler, Nov 13 2008

Cf. A007947, A085152, A085153, A147298-A147307, A147638-A147643.

a = {{1, 1}}; aa = {1}; bb = {}; rr = {}; Do[logmax = 0; k = 2^x; w = Floor[(k - 1)/2]; Do[m = FactorInteger[n (k - n)]; rad = 1; Do[rad = rad m[[s]][[1]], {s, 1, Length[m]}]; log = Log[k]/Log[rad]; If[log > logmax, bmin = k - n; amax = n; logmax = log; r = rad], {n, 1, w, 2}]; Print[{x, amax}]; AppendTo[aa, amax]; AppendTo[bb, bmin]; AppendTo[rr, r]; AppendTo[a, {x, logmax}], {x, 2, 15}]; aa (* Artur Jasinski with assistance of M. F. Hasler *)

A143700(n) = {my(b=1, m=2^n-b); forstep(a=3, 2^(n-1), 2, A007947(a)*A007947(2^n-a)A007947((2^n-a)*b=a)); b; } \\ M. F. Hasler, Nov 13 2008

a(28)-a(33) from M. F. Hasler, Nov 13 2008

A147299 a(n) = largest value of the function rad(mn(n - m)) n=2,3,4,..., 0 < m < n where the function rad(k) (also called radical(k)) is the product of distinct prime divisors of k.

Original entry on oeis.org

2, 6, 6, 30, 30, 70, 30, 42, 210, 330, 210, 546, 462, 390, 110, 1190, 462, 1482, 910, 2310, 2310, 2990, 858, 770, 4290, 546, 2730, 6090, 6630, 7378, 510, 8778, 9690, 10010, 1938, 12210, 13566, 14586, 3990, 17138, 18354, 19866, 10626, 7590, 22678

Offset: 2

Artur Jasinski, Nov 05 2008

nonn

The function rad(k) is used in ABC conjecture applications.
For smallest values of the function rad(m n (n - m)) see A147298.
For numbers m at which rad(m*n*(n - m)) reaches minimal value see A147300.
For numbers m at which rad(m*n*(n - m)) reaches maximal value see A147301.
Sequence in which each value log(n)/log(A147298(n)) reaches records see A147302.

Ivan Neretin, Table of n, a(n) for n = 2..1000

Cf. A085152, A085153, A147298-A147307.

logmax = 0; aa = {}; bb = {}; cc = {}; dd = {}; ee = {}; ff = {}; gg \ = {}; Do[min = 10^100; max = 0; ile = 0; Do[If[GCD[m, n, n - m] == 1, ile = ile + 1; s = m n (n - m); k = FactorInteger[s]; g = 1; Do[g = g k[[p]][[1]], {p, 1, Length[k]}]; If[g > max, max = g; mmax = m]; If[g < min, min = g; mmin = m]], {m, 1, n - 1}]; AppendTo[aa, min]; AppendTo[bb, max]; AppendTo[cc, mmax]; AppendTo[dd, mmin]; AppendTo[gg, ile]; If[(Log[n]/Log[min]) > logmax, logmax = (Log[n]/Log[min]); AppendTo[ee, {N[logmax], n, mmin, min, mmax, max}]; Print[{N[logmax], n, mmin, min, mmax, max}]; AppendTo[ff, n]], {n, 2, 129}]; bb (* Artur Jasinski *)
Table[Max[Times @@ FactorInteger[#][[All, 1]] & /@ ((m = Range[1, n - 1])*(n - m)*n)], {n, 2, 46}] (* Ivan Neretin, May 21 2015 *)

A147301 a(n) = smallest value of parameter m such that the function rad(m n (n - m)) has maximal value n=2,3,4..., 0 < m < n where the function rad(k) (also called radical(k)) is the product of distinct prime divisors of k.

Original entry on oeis.org

1, 1, 1, 2, 1, 2, 3, 2, 3, 5, 5, 6, 3, 2, 5, 7, 7, 6, 7, 10, 7, 10, 11, 11, 11, 13, 13, 14, 13, 14, 15, 14, 15, 13, 17, 15, 17, 17, 19, 19, 19, 21, 21, 22, 17, 21, 19, 23, 21, 22, 23, 23, 23, 26, 23, 26, 23, 29, 29, 30, 29, 29, 31, 31, 31, 33, 33, 34, 33, 34, 35, 35, 35, 37, 37, 38

Offset: 2

Artur Jasinski, Nov 05 2008

nonn

Function rad(k) is used in ABC conjecture applications.
For smallest values of the function rad(m n (n - m)) see A147298.
For biggest values of the function rad(m n (n - m)) see A147299.
For numbers m for which rad(m n (n - m)) reaches a minimal value see A147300.
For numbers m for which rad(m n (n - m)) reaches a maximal value see A147301.
For the sequence in each value log(n)/log(A147298(n)) reached records see A147302.

Cf. A085152, A085153, A147298-A147307.

logmax = 0; aa = {}; bb = {}; cc = {}; dd = {}; ee = {}; ff = {}; gg \ = {}; Do[min = 10^100; max = 0; ile = 0; Do[If[GCD[m, n, n - m] == 1, ile = ile + 1; s = m n (n - m); k = FactorInteger[s]; g = 1; Do[g = g k[[p]][[1]], {p, 1, Length[k]}]; If[g > max, max = g; mmax = m]; If[g < min, min = g; mmin = m]], {m, 1, n - 1}]; AppendTo[aa, min]; AppendTo[bb, max]; AppendTo[cc, mmax]; AppendTo[dd, mmin]; AppendTo[gg, ile]; If[(Log[n]/Log[min]) > logmax, logmax = (Log[n]/Log[min]); AppendTo[ee, {N[logmax], n, mmin, min, mmax, max}]; Print[{N[logmax], n, mmin, min, mmax, max}]; AppendTo[ff, n]], {n, 2, 129}]; cc (* Artur Jasinski *)

A147306 Numbers C in successive records of the merit function of the ABC conjecture considering only C from A033845.

Original entry on oeis.org

6, 12, 18, 24, 36, 48, 54, 144, 384, 486, 648, 2304, 3888, 5832, 279936

Offset: 1

Artur Jasinski, Nov 09 2008

In a variant of the ABC conjecture (see A120498) we look at triples (A,B,C) restricted to A+B=C, gcd(A,B)=1, and at the merit function L(A,B,C)=log(C)/log(rad(A*B*C)), where rad() is the squarefree kernel A007947, as usual. Watching for records in L() as C runs through the integers generates A147302. In this sequence here, we admit only the C of the sequence A033845, which avoids some early larger records that would be created by unrestricted C, and leads to a slower increase of the L-values.
If the ABC conjecture is true this sequence is finite.
The associated numbers B for this case are A147305, the associated A are A147307.

			(A,B,C) = (1,5,6) defines the first record, L=0.5268.. (A,B,C)=(1,11,12) reaches L=0.5931..
(A,B,C) = (1,17,18) reaches L=0.6249.. The first C-number selected from A033845 that does not generate a new record is 72.

Cf. A085152, A085153, A147298-A147307.

Digits := 120 : A007947 := proc(n) local f,p; f := ifactors(n)[2] ; mul( op(1,p),p=f) ; end:
L := proc(A,B,C) local rad; rad := A007947(A*B*C) ; evalf(log(C)/log(rad)) ; end:
isA033845 := proc(n) local f,p; f := ifactors(n)[2] ; for p in f do if not op(1,p) in {2,3} then RETURN(false) ; fi; od: RETURN( (n mod 2 = 0 ) and (n mod 3 = 0 ) ) ; end:
crek := -1 : for C from 3 do if isA033845(C) then for A from 1 to C/2 do B := C-A ; if gcd(A,B) = 1 then l := L(A,B,C) ; if l > crek then print(C) ; crek := l ; fi; fi; od: fi; od: # R. J. Mathar, Aug 24 2009

Edited by R. J. Mathar, Aug 24 2009

A147639 Numbers C which generate successive records of the merit function of the ABC conjecture admitting only C which are powers of 2.

Original entry on oeis.org

4, 8, 16, 32, 64, 128, 1048576

Offset: 1

Artur Jasinski, Nov 09 2008

In a variant of the ABC conjecture (see A120498) we look at triples (A,B,C) restricted to A+B=C, gcd(A,B)=1, and at the merit function L(A,B,C)=log(C)/log(rad(A*B*C)), where rad() is the squarefree kernel A007947, as usual. Watching for records in L() as C runs through the integers generates A147302. In this sequence here, we admit only the C of the sequence A000079, which avoids some early larger records that would be created by unrestricted C, and leads to a slower increase of the L-values.
If the ABC conjecture is true this sequence is finite.
The associated numbers B for this case are A147638, the associated A are A147640.

			The case C=2 does not create a valid (A,B,C) triple, so C=4 is the first case, which sets a first record L=0.7737 with (A,B,C)=(1,3,4). The next admitted case, C=8, sets a new record L=0.7879 with (A,B,C)=(1,7,8), and so do (A,B,C)=(1,15,16) with L=0.8151. For C=32, we consider the largest L possible for A<B<C, which is (A,B,C)=(5,27,32) with L=1.0189. The value L=0.839 from (A,B,C)=(1,31,32) at the same C is smaller and discarded.

Abderrahmane Nitaj, The ABC conjecture homepage

Cf. A085152, A085153, A147298-A147307, A147638-A147643.

Digits := 120 : A007947 := proc(n) local f, p; f := ifactors(n)[2] ; mul( op(1, p), p=f) ; end:
L := proc(A, B, C) local rad; rad := A007947(A*B*C) ; evalf(log(C)/log(rad)) ; end:
crek := -1 : for x from 2 do C := 2^x ; for A from 1 to C/2 do B := C-A ; if gcd(A, B) = 1 then l := L(A, B, C) ; if l > crek then print(C) ; crek := l ; fi; fi; od: od: # R. J. Mathar, Aug 28 2009

a(2) corrected by R. J. Mathar, Aug 28 2009

A147640 The numbers A associated with the search for records in the ABC conjecture constrained as described in A147639.

Original entry on oeis.org

1, 1, 1, 5, 1, 3, 1701

Offset: 1

Artur Jasinski, Nov 09 2008

The standard way to search for records in the ABC conjecture is to run with the C parameter through all the integers A000027. If this search space is diluted by admitting only powers of 2 as in A147639, the sequence of records changes. This sequence here lists the A such that the triples (A=a(n), B=A147638(n), C=A147639(n)) locate records for this search when C is restricted to powers of 2.

Cf. A085152, A085153, A147298-A147307, A147638-A147643.

Definition and comment edited by R. J. Mathar, Aug 28 2009

A252492 The largest prime factor of n*(n+1) equals 17. (Related to the abc conjecture.)

Original entry on oeis.org

16, 17, 33, 34, 50, 51, 84, 119, 135, 153, 169, 220, 255, 272, 288, 374, 441, 560, 594, 714, 832, 935, 1088, 1155, 1224, 1274, 1700, 2057, 2430, 2499, 2600, 4913, 5831, 12375, 14399, 28560, 31212, 37179, 194480, 336140

Offset: 1

M. F. Hasler, Jan 16 2015

Equivalently, the prime factors of n and n+1 are not larger than 17, but not all smaller than 17 (in which case n is in A252493).
This sequence is complete by a theorem of Stormer, cf. A002071 and sequences A085152, A085153, A252494, A252493.
This is row 7 of A145605. It has A145604(7)=40 terms and ends with A002072(7)=336140.

OEIS Index entries for sequences related to the abc conjecture

Cf. A002473, A086247, A252493, A252494, A085153, A085152.

Select[Range[345678], FactorInteger[ # (# + 1)][[ -1,1]] == 17 &]

for(n=1,9e6,vecmax(factor(n++)[,1])<18 && vecmax(factor(n*n--)[,1])==17 && print1(n",")) \\ Skips 2 if n+1 is not 17-smooth: Twice as fast as the naïve version.

cp's OEIS Frontend

A147643 Numbers A associated with the records of the merit function of the ABC conjecture admitting only C which are powers of 23.

Views

Author

Keywords

Comments

Links

Crossrefs

Formula

Extensions

A074399 a(n) is the largest prime divisor of n(n+1).

Views

Author

Keywords

Comments

References

Links

Crossrefs

Programs

Mathematica

PARI

Formula

Extensions

A252493 Numbers n such that n(n+1) is 13-smooth. (Related to the abc conjecture.)

Views

Author

Keywords

Comments

Links

Crossrefs

Programs

Maple

Mathematica

PARI

A143700 a(n) is the least odd number m minimizing A007947(m*(2^n-m)).

Views

Author

Keywords

Comments

Crossrefs

Programs

Mathematica

PARI

Extensions

A147299 a(n) = largest value of the function rad(m*n*(n - m)) n=2,3,4,..., 0 < m < n where the function rad(k) (also called radical(k)) is the product of distinct prime divisors of k.

Views

Author

Keywords

Comments

Links

Crossrefs

Programs

Mathematica

A147301 a(n) = smallest value of parameter m such that the function rad(m n (n - m)) has maximal value n=2,3,4..., 0 < m < n where the function rad(k) (also called radical(k)) is the product of distinct prime divisors of k.

Views

Author

Keywords

Comments

Crossrefs

Programs

Mathematica

A147306 Numbers C in successive records of the merit function of the ABC conjecture considering only C from A033845.

Views

Author

Keywords

Comments

Examples

Crossrefs

Programs

Maple

Extensions

A147639 Numbers C which generate successive records of the merit function of the ABC conjecture admitting only C which are powers of 2.

Views

Author

Keywords

Comments

Examples

Links

Crossrefs

Programs

A147299 a(n) = largest value of the function rad(mn(n - m)) n=2,3,4,..., 0 < m < n where the function rad(k) (also called radical(k)) is the product of distinct prime divisors of k.