ねえねえ、円周率って本当は3.151673980じゃないの?