Prime geodesic theorem