1
Here is some proofs via recurrence relations: https://www.overleaf.com/read/rhxybtcjxycj. The recurrence relations are found by wolfam alpha and relatively easily confirmed by hand.
Using algorithms to discover new mathematics
Here is some proofs via recurrence relations: https://www.overleaf.com/read/rhxybtcjxycj. The recurrence relations are found by wolfam alpha and relatively easily confirmed by hand.