Proving an inequality with Julia and interval arithmetic

I want thank David P. Sanders and Benoît Richard for helping me go through the problems I met while writing …