However, he is better known for a mathematical construct, the Farey sequence named after him.

There is an interesting connection between Farey sequence and Ford circles.

Farey sequences are used in two equivalent formulations of the Riemann hypothesis.

This gives the rule how the Farey sequences F are successively built up with increasing n.

Fractions that appear as neighbours in a Farey sequence have closely related continued fraction expansions.

John Farey notes the Farey sequence.

Farey conjectured, without offering proof, that each new term in a Farey sequence expansion is the mediant of its neighbours.

Fractions which are neighbouring terms in any Farey sequence are known as a Farey pair and have the following properties.

A Farey sequence is sometimes called a Farey series, which is not strictly correct, because the terms are not summed.

Farey Sequence from The On-Line Encyclopedia of Integer Sequences.

A Motif of Mathematics: History and Application of the Mediant and the Farey Sequence.

The proof of Rademacher's formula involves Ford circles, Farey sequences, modular symmetry and the Dedekind eta function in a central way.

The Farey sequence of order n contains all of the members of the Farey sequences of lower orders.

Farey sequences are named after the British geologist John Farey, Sr., whose letter about these sequences was published in the Philosophical Magazine in 1816.

Each Farey sequence starts with the value 0, denoted by the fraction , and ends with the value 1, denoted by the fraction (although some authors omit these terms).

Define , in other words is the difference between the kth term of the nth Farey sequence, and the kth member of a set of the same number of points, distributed evenly on the unit interval.

As well as being remembered by historians of geology, his name is more widely known by the Farey sequence which he noted as a result of his interest in the mathematics of sound (Philosophical Magazine, vol.

Thus, an ordered sequence of all vulgar fractions with denominators less than a given value became known as a Farey sequence rather than perhaps more rightfully as either a Chuquet sequence or a Haros sequence.

The key insight is that, in many cases of interest (such as theta functions), the singularities occur at the roots of unity, and the significance of the singularities is in the order of the Farey sequence.

Thus the mediant will then (first) appear in the (c + d)th Farey sequence and is the "next" fraction which is inserted in any Farey sequence between a/c and b/d.

In mathematics, the Farey sequence of order n is the sequence of completely reduced fractions between 0 and 1 which, when in lowest terms, have denominators less than or equal to n, arranged in order of increasing size.

This problem is fairly distinct from that of rounding a value to a fixed number of decimal or binary digits, or to a multiple of a given unit m. This problem is related to Farey sequences, the Stern-Brocot tree, and continued fractions.

He is mainly known through a 1924 paper, in which he establishes the equivalence of the Riemann hypothesis to a statement on the size of the discrepancy in the Farey sequences, and which is directly followed (in the same journal) by a development on the same subject by Edmund Landau.