Thanks for this. But I wonder if this is of use only if people have already familiriased themselves with the inequality to use it contextually, at which point t

Thanks for this. But I wonder if this is of use only if people have already familiriased themselves with the inequality to use it contextually, at which point they mostly have them committed to the memory.