Rogers–Ramanujan identities

In mathematics, the Rogers–Ramanujan identities are two identities related to basic hypergeometric series and integer partitions. The identities were first discovered and proved by Leonard James Rogers (1894), and were subsequently rediscovered (without a proof) by Srinivasa Ramanujan some time before 1913.