>>30 平均値の定理から
1-cosa=asinpなら導出できるのですが…、極限はp/aとsinがからんでない式なので詰まっています…