noun. Fast growing function based on Kruskal's tree theorem. Source