The value of ∫[x]0{x}dx (where [.] and {.} denotes greatest integer and fraction part function respectively ) is