higher bound for the

function at an integer

is integer log✕