Lemma 46 ([Product tests under the key reference]). For a fixed query shape and arbitrary global single-key functions f_ j,n with f_ j,n ≤1 , ∫∏_jf_ j,n (k_j)\,dν_n =∏_j∫f_ j,n \,dΩ_ l_j,q_j,n +O(2^ -N/2 ). The bound is uniform over the …

Lemma 46 ([Product tests under the key reference]). For a fixed query shape and arbitrary global single-key functions f_ j,n with f_ j,n ≤1 , ∫∏_jf_ j,n (k_j)\,dν_n =∏_j∫f_ j,n \,dΩ_ l_j,q_j,n +O(2^ -N/2 ). The bound is uniform over the functions.