All analysts spend half their time hunting through the literature for inequalities which they want to use and cannot prove.