Leko says to YSITD
inner_product 應該是 O(n)