Stack Exchange network consists of 183 Q&A communities including Stack Overflow, the largest, most trusted online community for developers to learn, share their knowledge, and build their careers.
Yes, it may be possible to interpret it as a inclusion-exclusion summation which would prove the positivity but I don't know how. The formula for $b_{n,k}$ comes from the condition $$\sum_{i=0}^ka_{n,i}b_{n,k-i}=0$$
