tanx=2を満たす実数x(0<x<π/2)を考える。
不等式tan(mx) > 100を満たす正の整数mが存在することを証明せよ。