円周率が無理数とかいう風潮