∵f(n)单调增
∴∀m,n,m<=n,有f(m)≤f(n)
∵g(n)单调增
∴∀m,n,m<=n,有g(m)≤g(n)
∀m,n,m<=n
∵f(m)+g(m)≤f(n)+g(n)
∴f(n)+g(n)单调增
∵f(g(m))≤f(g(n))
∴f(g(n))单调增
∵f(n)≥0,g(n)≥0
∴f(m)⋅g(m)≤f(n)⋅g(n)
∴f(n)⋅g(n)单调增
∵f(n)单调增
∴∀m,n,m<=n,有f(m)≤f(n)
∵g(n)单调增
∴∀m,n,m<=n,有g(m)≤g(n)
∀m,n,m<=n
∵f(m)+g(m)≤f(n)+g(n)
∴f(n)+g(n)单调增
∵f(g(m))≤f(g(n))
∴f(g(n))单调增
∵f(n)≥0,g(n)≥0
∴f(m)⋅g(m)≤f(n)⋅g(n)
∴f(n)⋅g(n)单调增