//chapter 12
//example 12.12
//page 432
Tc=9*10^-6;
n=8;//8-bit ADC
fmax=1/(2*%pi*Tc*2^n);// maximum frequency
disp(fmax)//Hz