134629domain: NAppears in sequencesa(n) = floor( n*(n-1)*(n-2)*(n-3)/22 ).at n=43A011932Schoenheim bound L_1(n,7,6).at n=25A036834Partial sums of A066259: a(n) = Sum_{k=0..n} F(k+1)^2*F(k), n>=0, with the Fibonacci numbers F=A000045.at n=9A215038