Tardos function
= Tardos function
{wiki=Tardos_function}
The Tardos function, introduced by Gábor Tardos in 2007, is a specific function that demonstrates the concept of a function growing more slowly than any polynomial function. This function is notable because it serves as an example of a function that is computable but grows slower than the asymptotic growth of any polynomial function. Formally, the Tardos function \\( t(n) \\) can be defined recursively.