posted on 2025-05-11, 11:33authored byRobert Osburn, Wadim Zudilin
We prove the last remaining case of the original 13 Ramanujan-type supercongruence conjectures due to Van Hamme from 1997. The proof utilizes classical congruences and a WZ pair due to Guillera. Additionally, we mention some future directions concerning this type of supercongruence.