Jorgensens inequality for quaternionic hyperbolic n-space

Jorgensens inequality gives a necessary condition for a non-elementary two generator group of isometries of real hyperbolic 2-space to be discrete. We give analogues of Jorgensens inequality for non-elementary groups of isometries of quaternionic hyperbolic n-space generated by two elements, one of which is loxodromic.