Lobachevsky's function