%I
%S 1,1,2,12,12,720,720,160030080000,160030080000,160030080000,
%T 160030080000,19363639680000,19363639680000,
%U 106124746688553188944907919360000000000
%N Smallest integer such that the first n multiples of a(n) have a number of divisors that is strictly increasing.
%C Conjecture: this sequence is finite.
%C Comments from _Owen Whitby_, Jul 10 2008 (Start): If 2,3,...,q are all of the primes <= q (q=19 is sufficient for n<=22) and if a=2^a2*3^a3*...*q^aq, where ai>=0 for all i, then f(a)=(a2+1)(a3+1)...(aq+1) is the number of divisors of a and similarly f(k)=(k2+1)(k3+1)...(kq+1).
%C Hence f(k*a)=r(a;k)*f(a) where r(a;k)=[(a2+k2+1)(a3+k3+1)...(aq+kq+1)]/[(a2+1)(a3+1)...(aq+1)]. For a(n) find a2,a3,...,aq to minimize a (the product of the prime powers) while satisfying each of the inequalities r(a;k)>r(a;k1) for k=2,3,...,n.
%C After simplification, each inequality involves only a small number of ai and examining the inequalities sequentially is fairly tractable up to at least n=20.
%C Number of digits in a(1) to a(20) is 1,1,1,2,2,3,3,12,12,12,12,14,14,39,51,51,51,66,66,120. a(21), a(22), a(23) exist and are <= 5.3 10^128. (End)
%H Owen Whitby, <a href="/A140355/b140355.txt">Table of n, a(n) for n = 1..20</a>
%e 720 is valid for a(6) because the number of divisors for the first 6 multiples of 720 are 30, 36, 40, 42, 45, 48
%K nonn
%O 1,3
%A _J. Lowell_, May 30 2008
%E a(8) to a(20) from _Owen Whitby_, Jul 10 2008
