Did you know that in geometric group theory , a Dehn function is an optimal function associated to a finite group presentation which estimates the area of a relation in that group in terms of its length?