author: I believe you meant `>` here, instead of `≥`: > Of course, for n ≥ 365 you don’t need any calculations, it’s a straightforward consequence of the pigeo

author: I believe you meant `>` here, instead of `≥`: > Of course, for n ≥ 365 you don’t need any calculations, it’s a straightforward consequence of the pigeonhole principle.