Dehn function
= Dehn function
{c}
{title2=$\delta(n)$}
{wiki}
The Dehn function of a finite presentation is
$$
\delta(n)=\max\{\operatorname{Area}(w):w=1,\ |w|\leq n\}.
$$
It measures the worst number of relator applications needed to prove a null word of bounded length.