Small deviations and Chung's law of iterated logarithm for a hypoelliptic Brownian motion on the Heisenberg group
A small ball problem and Chung's law of iterated logarithm for a hypoelliptic Brownian motion in Heisenberg group are proven. In addition, bounds on the limit in Chung's law are established.