円周率を「直径1の円の周の長さ」と定義する。
この定義に基づいて、π<999を示せ。