login
The OEIS Foundation is supported by donations from users of the OEIS and by a grant from the Simons Foundation.

 

Logo


Hints
(Greetings from The On-Line Encyclopedia of Integer Sequences!)
A259762 Smallest integer k_1 such that there exist n positive integers k_1 > k_2 > ... > k_n having the property that k_j * k_n > k_(j+1)^2 for j=1..n-1. 1
1, 2, 5, 13, 29, 68, 145, 307, 636, 1312, 2659, 5404, 10892, 21937, 44039, 88416, 177136, 354965, 710576, 1422447, 2846284, 5695248, 11393091, 22791749, 45588844, 91188435, 182387991, 364797722, 729617037, 1459278556, 2918600648, 5837288849, 11674666710, 23349509456, 46699194308, 93398744563 (list; graph; refs; listen; history; text; internal format)
OFFSET

1,2

COMMENTS

In other words, a(n) is the smallest k_1 such that the pairwise products of the n integers satisfy

   k_1 * k_1 > k_1 * k_2 > k_1 * k_3 > ... > k_1 * k_n

             > k_2 * k_2 > k_2 * k_3 > ... > k_2 * k_n

                         > k_3 * k_3 > ... > k_3 * k_n

                                                ...

                                           > k_n * k_n.

This is one of the orderings of the pairwise products of real numbers in A237749. Conjecture: if we constrain those real numbers to take integer values, then all A237749(n) orderings of pairwise products can be obtained with k_1 = a(n), but this ordering cannot be obtained with k_1 < a(n).

LINKS

Table of n, a(n) for n=1..36.

FORMULA

It appears that lim_{n->inf} a(n)/2^(n-1) = 1.

EXAMPLE

The positive integer triple (k_1,k_2,k_3) = (5,2,1) yields pairwise products in the required ordering; i.e.,

  k_1 * k_1 > k_1 * k_2 > k_1 * k_3

            > k_2 * k_2 > k_2 * k_3

                        > k_3 * k_3

becomes

  5*5 > 5*2 > 5*1

      > 2*2 > 2*1

            > 1*1

i.e.,

  25 > 10 > 5

     >  4 > 2

          > 1

which verifies that the requirement is satisfied. The triple (5,3,2) also satisfies the requirement, but there exists no such triple with k_1 < 5, so a(3) = 5.

Similarly, there exist quadruples that meet the requirement (the ones whose largest member is 13 are (13,5,3,2), (13,6,4,3), (13,7,5,4), and (13,8,6,5)), but there is no such quadruple with k_1 < 13, so a(4) = 13.

Of the quintuples that meet the requirement, (29,17,13,11,10) is the only one with k_1 = 29, and there is no such quintuple with k_1 < 29, so a(5) = 29.

CROSSREFS

Cf. A237749.

Sequence in context: A091270 A214633 A282831 * A045703 A289843 A242080

Adjacent sequences:  A259759 A259760 A259761 * A259763 A259764 A259765

KEYWORD

nonn

AUTHOR

Jon E. Schoenfield, Jul 04 2015

STATUS

approved

Lookup | Welcome | Wiki | Register | Music | Plot 2 | Demos | Index | Browse | More | WebCam
Contribute new seq. or comment | Format | Style Sheet | Transforms | Superseeker | Recent
The OEIS Community | Maintained by The OEIS Foundation Inc.

License Agreements, Terms of Use, Privacy Policy. .

Last modified June 20 09:25 EDT 2021. Contains 345162 sequences. (Running on oeis4.)