Where did pi come from?