higher bound for the

function in lining code a✕