Positivity of certain sums over Jacobi kernel polynomials

We present a computer-assisted proof of positivity of sums over kernel polynomials for ultraspherical Jacobi polynomials.