Si esta función es negativa, la teoría es asintóticamente libre.