どうでもいいけど、普通は直接
-1 + pi*10^2n < [pi*10^2n] ≦ pi*10^2n
の式からスタートするんじゃない