円周率が3になったってデマだったじゃん