Seshadri constants were defined by Demailly around 30 years ago using the ampleness criterion of Seshadri. Demailly was interested in studying problems related to separation of jets of line bundles on projective varieties, ...