Hi,
Does anyone know whether the following goal is true or false?
How would you prove it?
If it's false, under what reasonable additional assumptions would it be
true?
0. m < dimword (:α)
1. m < a
2. 0 < m
------------------------------------
n2w m − n2w a < n2w m
Cheers,
Ramana
------------------------------------------------------------------------------
Site24x7 APM Insight: Get Deep Visibility into Application Performance
APM + Mobile APM + RUM: Monitor 3 App instances at just $35/Month
Monitor end-to-end web transactions and take corrective actions now
Troubleshoot faster and improve end-user experience. Signup Now!
http://pubads.g.doubleclick.net/gampad/clk?id=272487151&iu=/4140
_______________________________________________
hol-info mailing list
hol-info@lists.sourceforge.net
https://lists.sourceforge.net/lists/listinfo/hol-info