ポアソン極限を証明: Bin(n, lambda/n) -> Poisson(lambda) when n -> infinity with lambda fixed