Definición del número PI