31 Jan
2014
31 Jan
'14
11:10 p.m.
The first open case now is f(11)=5 or 6.
--And it is: f(11)=5. [Because you can see there can be at most 1 cycle in the hypergraph, hyperedges being triangles.] Now first open case is f(12)=6 or 7, and I think the same argument shows it is 6. So then the sequence begins 1,1,2,2,3,3,4,5,5,6 which gets 16 hits on oeis.org. Of those 16, I believe none have any hope of being the answer.