OFFSET
1,2
COMMENTS
Another lower bound for Honaker triangle problem (A047837); conjectured to be exact value.
FORMULA
Empirical g.f.: -x*(x^15 - 3*x^14 + 3*x^13 - 5*x^12 + 5*x^11 - 9*x^10 + 7*x^9 - 10*x^8 + 7*x^7 - 9*x^6 + 5*x^5 - 6*x^4 + 2*x^3 - 3*x^2 - 1) / ((x-1)^4*(x^2-x+1)*(x^2+1)*(x^2+x+1)^2*(x^4-x^2+1)). [Colin Barker, Jan 18 2013]
CROSSREFS
KEYWORD
easy,nonn
AUTHOR
STATUS
approved