What is the value of pi and where it does came from?