22/7 > π の証明は難しいのかな?