Och man har ingen anledning att tvifla pi