Jørgensen's inequality
In the mathematical theory of Kleinian groups, Jørgensen's inequality is an inequality involving the traces of elements of a Kleinian group, proved by.
The inequality states that if A and B generate a non-elementary discrete subgroup of SL2, then
