производная пи