| One needs f to be bounded. | |
| One needs f to be non-negative. | |
| One needs f to be absolutely integrable. | |
| One needs the E_n to be nested and decreasing. | |
| One needs f to be a simple function. | |
| One needs f to be continuous. | |
| One needs f to be locally integrable. |