exp(6asin(x)) > 1 + 6 x + 18 x^2 + 37 x^3 + 60 x^4 + (333 x^5)/4 + 104 x^6 + (6771 x^7)/56 + (936 x^8)/7 + (191845 x^9)/1344 + (1040 x^10)/7

∴ exp(π) > 2260243/98304 = 22.9924