  For any odd positive integer $x$, define $(x_n)_{n\geqslant 0} $ and $(a_n
)_{n\geqslant 1} $ by setting $x_{0}=x, \,\, x_n =\cfrac{3x_{n-1} +1}{2^{a_n
}}$ such that all $x_n $ are odd. The 3x+1 problem asserts that there is an
$x_n =1$ for all $x$. Usually, $(x_n )_{n\geqslant 0} $ is called the
trajectory of $x$. In this paper, we concentrate on $(a_n )_{n\geqslant 1} $
and call it the E-sequence of $x$. The idea is that, we generalize E-sequences
to all infinite sequence $(a_n )_{n\geqslant 1} $ of positive integers and
consider all these generalized E-sequences. We then define $(a_n )_{n\geqslant
1} $ to be $\Omega-$convergent to $x$ if it is the E-sequence of $x$ and to be
$\Omega-$divergent if it is not the E-sequence of any odd positive integer. We
prove a remarkable fact that the $\Omega-$divergence of all non-periodic
E-sequences implies the periodicity of $(x_n )_{n\geqslant 0} $ for all $x_0$.
The principal results of this paper are to prove the $\Omega-$divergence of
several classes of non-periodic E-sequences. Especially, we prove that all
non-periodic E-sequences $(a_n )_{n\geqslant 1} $ with $\mathop {\overline
{\lim } }\limits_{n\to \infty } \cfrac{b_n }{n}>\log _23$ are
$\Omega-$divergent by using the Wendel's inequality and the Matthews and
Watts's formula $x_n =\cfrac{3^n x_0 }{2^{b_n }}\prod\limits_{k=0}^{n-1}
{(1+\cfrac{1}{3x_k })} $, where $b_n =\sum\limits_{k=1}^n {a_k } $. These
results present a possible way to prove the periodicity of trajectories of all
positive integers in the 3x + 1 problem and we call it the E-sequence approach.
