Update naturals-pigeonhole.tex