Look, Jonah: A function doesn’t have to be monotone. It can have a

maximum.

Let f(N) be the function dfined by “Cultural & spiritual benefits (assuming

we can quantify them) of having N Popes.” It may be that f has a maximum at

N=2, and is monotone decreasing thereafter.

I don’t say this is necessarily so, but it may be so.