100 and more conjectures from the OEIS/Proof 1
Jump to navigation
Jump to search
First, we put the expression into the form . Now, using the binomial theorem we obtain User:Rwst/Eq Likewise, , so we just need to manipulate factorials to get the desired result: