How to derive the value of Pi