eigenvalues of K†K (with multiplicities): {4: 1, 5/2: 3, 23/2: 1, 1: 1, 13/4: 2, 10: 1}
||K||² = 23/2  == 23/2 : True
bound T* ≥ pi/(2||K||) = sqrt(46)*pi/46 = 0.463202566287133
