Y la definición de π como área de un círculo de radio 1: