@mariondov pi is defined in terms of the properties it has. Series representations are often derived from trig functions with known values.