Proof of Sun's supercongruence involving Catalan numbers
arXiv:2001.03941
Abstract
We confirm a conjectural supercongruence involving Catalan numbers, which is one of the 100 selected open conjectures on congruences of Sun. The proof makes use of hypergeometric series identities and symbolic summation method.
9 pages