Sharpness of proper cocompact actions and applications