The above formula is one of my formulas for pi written in a popular form (Ramanujan's style). I proved it in 2002 by the Wilf and Zeilberger WZ-method.
See it written in a more compact form (with the summation symbol and combinatoric numbers) in “samples of my work”.