In the statements below n$>0,$ a is an integer constant. Prove the following statements using the definitions of the complexity notation.

$($a$)2^$n in O$(2^($an$)),$ a$>=1$