limnππδn(xa)ϕ(x)dx=ϕ(a),