π is irrational, yet π = C/d, the circumference of a circle over its diameter. What must be true? | StemPy Lab