higher bound for pi
arch ins ___