I just stumbled on this interesting function $$(n* \sum(n+1))/3$$ but I can't find any reference to it online for tetrahedra numbers.
I also divided $$(n* \sum(n+1)) $$ by a known nth tetrahedra formula $$(n * (n + 1) * (n + 2)) / 6 $$ which gave me 3 for the first 20K values.
Is it correct to assume that $$(n* \sum(n+1))/3 $$ is a valid formula for nth tetrahedra numbers
Link to Github(After line 141): https://github.com/JJpysquared/RIF/blob/master/Escanor