设集合W由满足下列两个条件的数列{a_n}构成：
①

an+an+2

2

＜an+1；②存在实数M，使a_n≤M．（ n为正整数）
（Ⅰ）在只有5项的有限数列{a_n}、{b_n}中，其中a₁=1，a₂=2，a₃=3，a₄=4，a₅=5；b₁=1，b₂=4，b₃=5，b₄=4，b₅=1，试判断数列{a_n}、{b_n}是否为集合W中的元素；
（Ⅱ）设{c_n}是等差数列，S_n是其前n项和，c₃=4，S₃=18，证明数列{S_n}∈W；并写出M的取值范围；
（Ⅲ）设数列{d_n}∈W，且对满足条件的常数M，存在正整数k，使d_k=M．
求证：d_k+1＞d_k+2＞d_k+3．

定义在D上的函数，如果满足：存在常数M＞0，对任意x∈D都有|f（x）|≤M成立，则称f（x）是D上的有界函数．
（1）试判断函数f(x)=2sin(x+

π

6

)+3在实数集R上，函数g(x)=x3+

3

x

在[

1

3

，3]上是不是有界函数？若是，请给出证明；若不是，请说出理由．
（2）若已知某质点的运动距离S与时间t的关系为S(t)=

1

4

t4+3lnt-at，要使在t∈[

1

3

，3]上每一时刻的瞬时速度的绝对值都不大于13，求实数a的取值范围．

设函数f（x）=x-In（x+m），其中常数m为整数．
（1）当m为何值时，f（x）≥0；
（2）定理：若函数g（x）在[a，b]上连续，且g（a）与g（b）异号，则至少存在一点x₀∈（a，b），使g（x₀）=0．
试用上述定理证明：当整数m＞1时，方程f（x）=0，在[e^-m-m，e^2m-m]内有两个实根．

设函数f（x）=ax²+bx+1（a，b∈R），
（1）若f（-1）=0且对任意实数x均有f（x）≥0成立，求f（x）表达式；
（2）在（1）的条件下，g（x）=f（x）-16x（x∈[m，10]，其中常数m＞0），区间D为g（x）的值域，若D的长度为23-2m，求此时m的值．