Update inequality.jl