A210444 -id:A210444 - cp's OEIS frontend

A210445 Least positive integer k with k*n practical.

1, 1, 2, 1, 4, 1, 4, 1, 2, 2, 6, 1, 6, 2, 2, 1, 12, 1, 12, 1, 2, 3, 12, 1, 4, 3, 2, 1, 12, 1, 16, 1, 2, 6, 4, 1, 18, 6, 2, 1, 20, 1, 20, 2, 2, 6, 24, 1, 4, 2, 4, 2, 24, 1, 4, 1, 4, 6, 24, 1, 24, 8, 2, 1, 4, 1, 30, 3, 4, 2, 30, 1, 30, 9, 2, 3, 4, 1, 36, 1, 2, 10, 36, 1, 4, 10, 4, 1, 36, 1, 4, 3, 6, 12, 4, 1, 42, 2, 2, 1

Offset: 1

Zhi-Wei Sun, Jan 20 2013

Conjecture: a(n) < n for all n>1, and a(n) < n/2 for all n>47.

Large values are obtained for prime n: The corresponding subsequence is a(p(n)) = (1, 2, 4, 4, 6, 6, 12, 12, 12, 12, 16, 18, 20, 20, 24, 24, 24, 24, ...), while for composite indices, a(c(n)) = (1, 1, 1, 1, 2, 2, 1, 2, 2, 1, 1, 1, 2, 3, 1, 4, 3, 2, 1, 1, 1, 2, ...). - M. F. Hasler, Jan 21 2013

			a(10)=2 since 2*10=20 is practical but 1*10=10 is not.

Zhi-Wei Sun, Table of n, a(n) for n = 1..10000
G. Melfi, On two conjectures about practical numbers, J. Number Theory 56 (1996) 205-210 [MR96i:11106].
Zhi-Wei Sun, Conjectures involving primes and quadratic forms, arXiv:1211.1588 [math.NT], 2012-2015.

Cf. A005153, A210444, A071558, A208243, A208244, A208246, A208249, A209253, A209254, A209312, A219185, A219312, A219315, A219320.

f[n_]:=f[n]=FactorInteger[n]
Pow[n_, i_]:=Pow[n, i]=Part[Part[f[n], i], 1]^(Part[Part[f[n], i], 2])
Con[n_]:=Con[n]=Sum[If[Part[Part[f[n], s+1], 1]<=DivisorSigma[1, Product[Pow[n, i], {i, 1, s}]]+1, 0, 1], {s, 1, Length[f[n]]-1}]
pr[n_]:=pr[n]=n>0&&(n<3||Mod[n, 2]+Con[n]==0)
Do[Do[If[pr[k*n]==True,Print[n," ",k];Goto[aa]],{k,1,n}];
Print[n," ",counterexample];Label[aa];Continue,{n,1,100}]

A210445(n)={for(k=1,n,is_A005153(k*n)&&return(k))} \\ (Would return 0 if a(n)>n.) - M. F. Hasler, Jan 20 2013

a(n) = 1 iff n is in A005153, therefore a(n) > 1 for all odd n>1. - M. F. Hasler, Jan 21 2013

A210452 Number of integers k

Original entry on oeis.org

0, 0, 0, 0, 1, 1, 2, 2, 2, 2, 1, 2, 2, 3, 3, 3, 1, 3, 2, 4, 4, 4, 2, 4, 4, 4, 4, 4, 2, 4, 2, 5, 5, 4, 5, 5, 2, 4, 5, 5, 1, 5, 2, 6, 6, 5, 2, 6, 6, 6, 6, 6, 2, 6, 6, 6, 6, 5, 2, 6, 3, 5, 7, 7, 7, 7, 3, 7, 7, 7, 3, 7, 4, 6, 8, 8, 8, 8, 3, 8, 8, 6, 3, 8, 8, 6, 8, 8, 3, 8, 8, 8, 7, 6, 8, 8, 3, 8, 8, 8

Offset: 1

Zhi-Wei Sun, Jan 20 2013

nonn

Conjecture: a(n)>0 for all n>4.
This implies the twin prime conjecture since k*p is not practical for any prime p>sigma(k)+1.
Zhi-Wei Sun also made the following conjectures:
(1) For each integer n>197, there is a practical number k(2) For every n=9,10,... there is a practical number k(3) For any integer n>26863, the interval [1,n] contains five consecutive integers m-2, m-1, m, m+1, m+2 with m-1 and m+1 both prime, and m-2, m, m+2, m*n all practical.

			a(11)=1 since 5 and 7 are twin primes, and 6 and 6*11 are both practical.

Zhi-Wei Sun, Table of n, a(n) for n = 1..10000
G. Melfi, On two conjectures about practical numbers, J. Number Theory 56 (1996) 205-210 [MR96i:11106].
Zhi-Wei Sun, Conjectures involving primes and quadratic forms, arXiv:1211.1588 [math.NT], 2012-2017.
Zhi-Wei Sun, Sandwiches with primes and practical numbers, a message to Number Theory List, Jan. 13, 2013.

Cf. A005153, A210444, A210445, A071558, A208243, A208244, A208246, A208249, A219185, A209253, A209254, A219312, A219315, A219320.

f[n_]:=f[n]=FactorInteger[n]
Pow[n_, i_]:=Pow[n, i]=Part[Part[f[n], i], 1]^(Part[Part[f[n], i], 2])
Con[n_]:=Con[n]=Sum[If[Part[Part[f[n], s+1], 1]<=DivisorSigma[1, Product[Pow[n, i], {i, 1, s}]]+1, 0, 1], {s, 1, Length[f[n]]-1}]
pr[n_]:=pr[n]=n>0&&(n<3||Mod[n, 2]+Con[n]==0)
a[n_]:=a[n]=Sum[If[PrimeQ[k-1]==True&&PrimeQ[k+1]==True&&pr[k]==True&&pr[k*n]==True,1,0],{k,1,n-1}]
Do[Print[n," ",a[n]],{n,1,100}]

Showing 1-2 of 2 results.

cp's OEIS Frontend

A210445 Least positive integer k with k*n practical.

Views

Author

Keywords

Comments

Examples

Links

Crossrefs

Programs

Mathematica

PARI

Formula