円周率の厳密な定義を言えるやつ1%もいない説www