In reply to Ian Wakeling.

Looks like your intuition was right. As n→∞, p=1/3 gives the best approximation to pi when you use p*A_in + (1p-)*A_out. For the circumference, p=2/3 seems optimal for approximating 2*pi, so p=1/3 is optimal for approximating pi.

I found a proof online.