definite integral by Rinko Kawauchi and Beksinski