円周率は覚えきれないと、既に割り切れている。