23/07/20 19:27:45.63 Lw/JjOOM.net
i + j ≦ nのときに、|h|^i ✕ |k|^j = O(|h|^n + |k|^n)であることの証明。
|h| ≦ |k| のとき、|h|^i ✕ |k|^j ≦ |k|^{i+j} ≦ 1 ✕ (|h|^n + |k|^n)
|k| ≦ |h| のとき、|h|^i ✕ |k|^j ≦ |h|^{i+j} ≦ 1 ✕ (|h|^n + |k|^n)
よって、|h|^i ✕ |k|^j ≦ 1 ✕ (|h|^n + |k|^n)
よって、|h|^i ✕ |k|^j = O(|h|^n + |k|^n)