यदि [x], x से अधिक न होने वाले महत्तम पूर्णांक का प्रतिनिधित्व करता है, तो \(\rm \int_0^9 [x]\ dx\) का मान कितना होगा?