A question from an example from a MIT Classical Mechanics Lecture on Work.
Here's the given definition for gravitational potential energy (~32:00): "The gravitational potential energy at a point $P$ is the work that I, Walter Lewin, [the lecturer] have to do to bring that mass from $\infty$ to that point $P$. My force is always the same as gravity with a minus sign. "
This diagram is given at ~40:00:

It is unclear to me why W. Lewin's force $F_{WL}$ is pointing towards $\infty$ (+ $r$ direction) if he is measuring the force to bring the object from $\infty \to P$.
Furthermore, the work required by WL is given as $\int_{\infty}^{R} \frac{mMG}{r^2} dr $. Since $\infty \to $r is the $-r$ direction, shouldn't this integral have a minus sign?