I. Let p>b be prime, let n=p3 and k=p2. If p3<i<p3+p2, then no power of p greater than 1 divides i, while p divides p3+p. It follows that L(p3,p2)=p2L(p3+1,p2−1). A similar calculation shows that L(p3+1,p2)=pL(p3+1,p2−1). Thus L(p3,p2)=pL(p3+1,p2)>bL(p3+1,p2).
II. Let m>1. Then L(m!−1,m+1) is the least common multiple of the integers from m!−1 to m!+m−1. But m!−1 is relatively prime to all of m!, m!+1,…,m!+m−1. It follows that L(m!−1,m+1)=(m!−1)M, where M=lcm(m!,m!+1,…,m!+m−1).
Now consider L(m!,m+1). This is lcm(M,m!+m). But m!+m=m((m−1)!+1), and m divides M. Thus lcm(M,m!+m)≤M((m−1)!+1), and
L(m!,m+1)L(m!−1,m+1)≥(m−1)!+1m!−1.
Since m can be arbitrarily large, so can L(m!−1,m+1)/L(m!,m+1). Therefore taking n=m!−1 for sufficiently large m, and k=m+1, works.