何かのスレでπ>3.05を示すのにArctanの積分と簡単な不等式使ってπ>46/15を示す方法あったんだが分かる人いない?