Explicit birational geometry of threefolds of general type, I
Let be a complex nonsingular projective 3-fold of general type. We prove and for some positive integer . A direct consequence is the birationality of the pluricanonical map for all . Besides, the canonical volume has a universal lower bound .