Who discovered pigeonhole principle in mathematics? Posted by GEP, at hsm.stackexchange.com, 27 Jan 2020 The principle was used as early as late 1760s by Lagrange but are there any earlier uses of it in math?