Proof of an explicit formula for a series from Ramanujan's Notebooks via tree functions - Ming-Jian Ding; Jiang Zeng (2023)