@trinsec It's more for FLOSS but yes. I've formed the Induction Hypothesis and all that remains is to prove it from the base case to i + 1.

I guess it is actually for Science. Previous attempts with this were largely performed by academia.