  We prove sharp bounds for the product and the sum of the hyperbolic lengths
of a pair of hyperbolic adjacent sides of hyperbolic Lambert quadrilaterals in
the unit disk. We also show the H\"older convexity of the inverse hyperbolic
sine function involved in the hyperbolic geometry.
