Бесконечная цепочка больших
Во-первых, позвольте мне написать определение большого чтобы сделать вещи явными.OOO f(n)∈O(g(n))⟺∃c,n0>0f(n)∈O(g(n))⟺∃c,n0>0f(n)\in O(g(n))\iff \exists c, n_0\gt 0 такое, что0≤f(n)≤cg(n),∀n≥n00≤f(n)≤cg(n),∀n≥n00\le f(n)\le cg(n), \forall n\ge n_0 Допустим, у нас есть конечное число функций: удовлетворяющих:f1,f2,…fnf1,f2,…fnf_1,f_2,\dots f_n O(f1)⊆O(f2)⋯⊆O(fn)O(f1)⊆O(f2)⋯⊆O(fn)O(f_1)\subseteq O(f_2)\dots \subseteq O(f_n) В силу транзитивности имеем:OOOO(f1)⊆O(fn)O(f1)⊆O(fn)O(f_1)\subseteq O(f_n) Имеет ли это место, если у нас есть бесконечная …