This is a front-end for the Online Encyclopedia of Integer Sequences, made by Christian Perfect. The idea is to provide OEIS entries in non-ancient HTML, and then to think about how they're presented visually. The source code is on GitHub.
%I A177466 #27 Sep 16 2024 12:48:57
%S A177466 10,360525,23263187479980,4195317468983232014706855,
%T A177466 3118254010126197540790713959812283024388,
%U A177466 13329519847131745416659896296893907619682838146506167497550
%N A177466 a(n) = binomial(n^3, n^2) / (n^2 + n + 1).
%C A177466 All entries are integers. [Proof: binomial(n^3, n^2) / (n^2 + n + 1) = n^3 (n^3 - 1) (n^3 - 2)*...*(n^3- n^2 +1) / ( (n^2)! *(n^2 + n + 1)). With n^3 - 1 = (n-1)*(n^2 + n + 1), we obtain a(n) = n* binomial(n^3-2, n^2-2) / (n+1). Finally: (n+1) * binomial(n^3, n^2) * 1/ (n^2 + n + 1) = n*binomial(n^3-2, n^2-2). QED]
%C A177466 The step after "finally" seems to demonstrate merely that (n+1)*a(n) is an integer, but not that a(n) is itself an integer. Is the proof incomplete? - _R. J. Mathar_, Dec 06 2010
%C A177466 So far all that has been shown is that (n+1)*a(n) is an integer. To complete the proof, note that a(n) = n^3*(n-1)*(n^3-2)*...*(n^3-n^2) / (n^2*(n^2-1)!*(n^3-n^2)) = binomial(n^3-2,n^2-1)/n. Hence n*a(n) is also an integer, and so (n+1)*a(n) - n*a(n) = a(n) is an integer. Q.E.D. - _N. J. A. Sloane_, Dec 09 2010
%H A177466 G. C. Greubel, <a href="/A177466/b177466.txt">Table of n, a(n) for n = 2..23</a>
%H A177466 Paul Barry, <a href="https://cs.uwaterloo.ca/journals/JIS/VOL9/Barry/barry91.html">On Integer-Sequence-Based Constructions of Generalized Pascal Triangles</a>, Journal of Integer Sequences, Vol. 9 (2006), Article 06.2.4.
%e A177466 For n = 2, a(2) = binomial(8,4)/7 = 70/7 = 10.
%p A177466 A177466 := proc(n) binomial(n^3,n^2)/(n^2+n+1); end proc:
%p A177466 seq(A177466(n),n=2..10) ; # _R. J. Mathar_, Dec 06 2010
%t A177466 Table[Binomial[n^3,n^2]/(n^2+n+1),{n,2,7}] (* _Harvey P. Dale_, Jan 24 2019 *)
%o A177466 (Magma) [Binomial(n^3,n^2)/(n^2+n+1): n in [2..12]]; // _G. C. Greubel_, Jul 18 2024
%o A177466 (SageMath) [binomial(n^3,n^2)/(n^2+n+1) for n in range(2,13)] # _G. C. Greubel_, Jul 18 2024
%Y A177466 Cf. A000108, A000984, A060545, A177234, A177456.
%K A177466 nonn
%O A177466 2,1
%A A177466 _Michel Lagneau_, May 09 2010