Имеется количество записей в файле и общий объем этих записей.
Что дает умножение этих величин? И есть ли вообще какое-либо обоснование их произведения?

О да)) Эта формула пожалуй фундаментальнее, чем |x|*n^3, и уж куда фундаментальнее, чем |x|*n.

А если серьёзно, если элемент последовательности сравнивается с другим элементом всегда за фиксированное число шагов, то можно сказать, что сложность алгоритма O(|x|*n^2). Смотрите в сторону теории вычислительных процессов, сложности алгоритмов и т.п.