[see also: improve, progress
Slightly refining a result of [8], Davenport proved......
a succession of more and more refined discrete models