とりあえずだな、円周率は存在しないものとして数学を考えないか?