加法定理、π>3.05の証明ときて次はなにを証明させるだろう？
lim[x→0](sinx)/x＝1とか？