Least prime p such that p + 7*k*(k+1) is prime for 0 <= k <= n-1 but not for k=n